--- a/ROOT	Fri Sep 12 00:47:15 2014 +0800
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-session "Hoare_gen" in "thys" = "HOL" +
-  theories 
-     Hoare_gen
-
-session "Hoare_tm" in "thys" = "Hoare_gen" +
-  theories 
-     Hoare_tm
-     Hoare_tm2
-
-session "Hoare_abc" in "thys" = "Hoare_tm" +
-  theories
-     Hoare_abc
-     Hoare_abc2
-
-session "TM" in "thys" = Hoare_abc +
-  theories 
-    My_block
-    LetElim
-    StateMonad
-    TM_Assemble
-
-session "Paper" in "paper" = TM +
-  options [document = pdf, document_output = "..", document_variants = "journal"]
-  theories
-    Paper
-  files "document/root.tex"
\ No newline at end of file