--- a/Myhill_2.thy	Mon Oct 15 13:23:52 2012 +0000
+++ b/Myhill_2.thy	Mon Dec 03 08:16:58 2012 +0000
@@ -1,6 +1,6 @@
 (* Author: Xingyuan Zhang, Chunhan Wu, Christian Urban *)
 theory Myhill_2
-  imports Myhill_1 "~~/src/HOL/Library/List_Prefix"
+  imports Myhill_1 List_Prefix
 begin
 
 section {* Second direction of MN: @{text "regular language \<Rightarrow> finite partition"} *}