session "Isabelle_DOF-Proofs" (proofs) = "HOL-Proofs" +
  options [document = false,  record_proofs = 2, parallel_limit = 500, document_build = dof]
  sessions
    "Isabelle_DOF"
    Metalogic_ProofChecker
  theories
    Isabelle_DOF.ontologies
    Isabelle_DOF.Isa_DOF
    Very_Deep_DOF
    Reification_Test