session "Isabelle_DOF-tests" = "Isabelle_DOF" + 
  options [document = false]
  theories
    "AssnsLemmaThmEtc" 
    "Concept_ExampleInvariant"
    "Concept_Example"
    "TermAntiquotations"
    "Attributes"
