session "Isabelle_DOF-tests" = "Isabelle_DOF" + 
  options [document = false]
  theories
    "AssnsLemmaThmEtc" 
    "Concept_Example_Low_Level_Invariant"
    "Concept_Example"
    "TermAntiquotations"
    "Attributes"
    "Evaluation"
    "Isabelle2021-1"
    "High_Level_Syntax_Invariants"
    "Ontology_Matching_Example"
