diff -r f5cc33a0ba99 -r e4d0e6cdc3d2 Paper/Paper.thy
--- a/Paper/Paper.thy	Wed Jan 26 22:51:51 2011 +0000
+++ b/Paper/Paper.thy	Wed Jan 26 22:58:24 2011 +0000
@@ -1,6 +1,6 @@
 (*<*)
 theory Paper
-imports Main
+imports "../Myhill"
 begin
 (*>*)