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