diff -r 77daf1b85cf0 -r a5f5b9336007 thys2/ROOT~
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys2/ROOT~	Sat Sep 13 10:07:14 2014 +0800
@@ -0,0 +1,24 @@
+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
+  files
+    "document/root_tm.tex"
+
+session "Hoare_tm" = "Hoare_tm_basis" +
+  options [document = pdf]
+  theories [document = false, document_output = "output_tm", document_variants = "hoare_tm"]
+     Hoare_tm
+  files
+    "document/root_tm.tex"
+
+session "Hoare_abc" = "Hoare_tm" +
+  options [document = pdf]
+  theories [document = false, document_output = "./output_abc"]
+     Hoare_abc
+