--- a/ROOT	Fri Mar 21 15:07:59 2014 +0000
+++ b/ROOT	Fri Mar 21 15:10:13 2014 +0000
@@ -12,4 +12,8 @@
 
 session "TM" in "thys" = Hoare_abc +
   theories 
+    My_block
+    LetElim
+    AList
+    StateMonad
     TM_Assemble
\ No newline at end of file