10 lines
308 B
Plaintext
10 lines
308 B
Plaintext
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 |