--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Separation_Algebra/ROOT	Sat Sep 13 10:07:14 2014 +0800
@@ -0,0 +1,11 @@
+session Separation_Algebra (AFP) = "HOL-Word" +
+  options [timeout = 3600]
+  theories
+    "ex/Simple_Separation_Example"
+    "ex/Sep_Tactics_Test"
+    "ex/VM_Example"
+    Sep_Eq
+    "ex/capDL/Separation_D"
+  files
+    "document/root.bib"
+    "document/root.tex"