ROOT
changeset 18 d826899bc424
parent 10 03c5f0393a2c
--- a/ROOT	Thu Apr 03 15:28:01 2014 +0100
+++ b/ROOT	Fri Apr 04 13:15:07 2014 +0100
@@ -5,16 +5,17 @@
 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
-    AList
     StateMonad
     TM_Assemble