Experimental session with enabled proof objects: Isabelle_DOF-Proofs.

2023-01-19 22:00:53 +00:00 · 2023-01-19 22:00:53 +00:00 · 8fdaafa295
parent 8513f7d267
commit 8fdaafa295
2 changed files with 8 additions and 0 deletions
--- a/src/ROOTS
+++ b/src/ROOTS
@ -1 +1,2 @@
 tests
+proofs
--- a/src/proofs/ROOT
+++ b/src/proofs/ROOT
@ -0,0 +1,7 @@
+session "Isabelle_DOF-Proofs" = "HOL-Proofs" +
+  options [document = false,  record_proofs = 2, parallel_limit = 500, document_build = dof]
+  sessions
+    "Isabelle_DOF"
+  theories
+    Isabelle_DOF.ontologies
+    Isabelle_DOF.Isa_DOF