--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys2/ROOT	Sat Sep 13 10:07:14 2014 +0800
@@ -0,0 +1,20 @@
+session "Hoare_gen" = "HOL" +
+  options [document = pdf]
+  theories [document = false]
+     Hoare_gen
+
+session "Hoare_tm_basis" = "Hoare_gen" +
+  options [document = pdf]
+  theories [document = false, document_output = "output_tm", document_variants = "hoare_tm"]
+     Hoare_tm_basis
+
+session "Hoare_tm" = "Hoare_tm_basis" +
+  options [document = pdf]
+  theories [document = false, document_output = "output_tm", document_variants = "hoare_tm"]
+     Hoare_tm
+
+session "Hoare_abc" = "Hoare_tm" +
+  options [document = pdf]
+  theories [document = false, document_output = "./output_abc"]
+     Hoare_abc
+