# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1395414613 0
# Node ID 192672a6fff450d92dcfec18d0e015a9adc94729
# Parent  38cef5407d823ab72a197aaff51b4c966a2a8dfb
added files to ROOT

diff -r 38cef5407d82 -r 192672a6fff4 ROOT
--- 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