--- a/README	Fri Feb 15 07:42:47 2013 +0000
+++ b/README	Fri Feb 15 14:05:26 2013 +0000
@@ -6,6 +6,8 @@
    Turing.thy:       Basic definitions of Turing machines.
    Turing_Hoare.thy: Contains the Hoare rules	
    Uncomputable.thy: The existence of Turing uncomputable functions
+   Abacus_Mopup.thy: Mopup TM which is used when compiling Abacus
+                     programs
    Abacus.thy:       Basic definitions of abacus machines (an intermediate
                      "language" for compiling recursive functions into 
                      Turing machines)