--- 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
 (*>*)