Added session Isabelle_DOF.

2018-04-07 22:08:29 +01:00 · 2018-04-07 22:08:29 +01:00 · 3cf86c2d32
parent 5e3bdbd340
commit 3cf86c2d32
1 changed files with 9 additions and 0 deletions
--- a/9
+++ b/9
@ -1,3 +1,12 @@
+session "Isabelle_DOF" = HOL + 
+  theories [document = false]
+    (* Foo *)
+    (* Bar *)
+  theories
+    Isa_DOF
+
+
+
 (*
 Bit
 Bits