--- a/Paper/Paper.thy	Tue Feb 26 12:47:03 2013 +0000
+++ b/Paper/Paper.thy	Tue Feb 26 13:24:40 2013 +0000
@@ -1,6 +1,6 @@
 (*<*)
 theory Paper
-imports "../thys/UTM"
+imports "../thys/UTM" "../thys/Abacus_Defs"
 begin