--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ROOT	Thu Mar 06 13:28:38 2014 +0000
@@ -0,0 +1,11 @@
+session "Hoare_gen" in "thys" = "HOL" +
+  theories 
+     Hoare_gen
+
+session "Hoare_tm" in "thys" = "Hoare_gen" +
+  theories 
+     Hoare_tm
+
+session "Hoare_abc" in "thys" = "Hoare_tm" +
+  theories
+     Hoare_abc