session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" + 
  options [document = pdf, document_output = "output", document_build = dof]
  theories
    "TestKit"
    "Latex_Tests"
    "Concept_OntoReferencing"
    "Concept_Example_Low_Level_Invariant"
    "TermAntiquotations"
    "Attributes"
    "Evaluation"
    "AssnsLemmaThmEtc" 
    "High_Level_Syntax_Invariants"
    "Ontology_Matching_Example"
    "Cenelec_Test"
    "OutOfOrderPresntn"
  document_files
    "root.bib"
    "figures/A.png"
    "figures/B.png"
