24 lines
710 B
Plaintext
24 lines
710 B
Plaintext
session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" +
|
|
options [document = pdf, document_output = "output", document_build = dof, document_variants = "document:overview=-proof,-ML,-unimportant"]
|
|
theories
|
|
"TestKit"
|
|
"Latex_Tests"
|
|
"Concept_OntoReferencing"
|
|
"Concept_Example_Low_Level_Invariant"
|
|
"Concept_High_Level_Invariants"
|
|
"Concept_MonitorTest1"
|
|
"Concept_MonitorTest2"
|
|
"Concept_TermAntiquotations"
|
|
"Concept_TermEvaluation"
|
|
"Attributes"
|
|
"AssnsLemmaThmEtc"
|
|
"Ontology_Matching_Example"
|
|
"Cenelec_Test"
|
|
"OutOfOrderPresntn"
|
|
"COL_Test"
|
|
"Test_Polymorphic_Classes"
|
|
document_files
|
|
"root.bib"
|
|
"figures/A.png"
|
|
"figures/B.png"
|