Isabelle_DOF/Isabelle_DOF-Ontologies at main · logicalhacking/Isabelle_DOF · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
CC_v3_1_R5		CC_v3_1_R5
CENELEC_50128		CENELEC_50128
Conceptual		Conceptual
document-templates		document-templates
document		document
small_math		small_math
ROOT		ROOT
document_setup.thy		document_setup.thy
document_templates.thy		document_templates.thy