diff -r 3b7477db3462 -r e122cb146ecc Myhill_1.thy
--- a/Myhill_1.thy	Tue Mar 15 15:53:22 2011 +0000
+++ b/Myhill_1.thy	Wed Mar 23 12:17:30 2011 +0000
@@ -1,5 +1,6 @@
 theory Myhill_1
-imports Main Folds While_Combinator
+imports Main Folds 
+        "~~/src/HOL/Library/While_Combinator"
 begin
 
 section {* Preliminary definitions *}