--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ROOT	Fri Jul 05 17:19:17 2013 +0100
@@ -0,0 +1,20 @@
+session Myhill in "Journal" = HOL +
+  options [document = false]
+  theories 
+    "../Folds"
+    "../Regular_Set"
+    "../Regular_Exp"
+    "../Derivatives"
+    "../Myhill_1"
+    "../Myhill_2"
+    "../Myhill"
+    "../Closures"
+    "../Closures2"
+    "../Attic/Prefix_subtract"
+
+
+session Journal in "Journal" = Myhill +
+  options [document = pdf, document_output = "..", document_variants = "journal"]
+  theories
+    "Paper"
+