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"
