diff -r a5f5b9336007 -r 1cde7bf45858 thys2/ROOT~
--- a/thys2/ROOT~	Sat Sep 13 10:07:14 2014 +0800
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-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
-