From 3cf86c2d329d08f2443c09874e3f36dbcbf2afe8 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 7 Apr 2018 22:08:29 +0100
Subject: [PATCH] Added session Isabelle_DOF.

---
 ROOT | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/ROOT b/ROOT
index d912124..5b5bcb9 100644
--- a/ROOT
+++ b/ROOT
@@ -1,3 +1,12 @@
+session "Isabelle_DOF" = HOL + 
+  theories [document = false]
+    (* Foo *)
+    (* Bar *)
+  theories
+    Isa_DOF
+
+
+
 (*
  Bit
  Bits