From 8fdaafa295e353f2cb974db64d8a3d636fb3017d Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Thu, 19 Jan 2023 22:00:53 +0000
Subject: [PATCH] Experimental session with enabled proof objects:
 Isabelle_DOF-Proofs.

---
 src/ROOTS       | 1 +
 src/proofs/ROOT | 7 +++++++
 2 files changed, 8 insertions(+)
 create mode 100644 src/proofs/ROOT

diff --git a/src/ROOTS b/src/ROOTS
index 2b29f27..4808d07 100644
--- a/src/ROOTS
+++ b/src/ROOTS
@@ -1 +1,2 @@
 tests
+proofs
diff --git a/src/proofs/ROOT b/src/proofs/ROOT
new file mode 100644
index 0000000..64dfe82
--- /dev/null
+++ 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