
diff -r 48b231495281 -r 2c56b20032a7 Attic/Prefix_subtract.thy
--- a/Attic/Prefix_subtract.thy	Mon Oct 15 13:23:52 2012 +0000
+++ b/Attic/Prefix_subtract.thy	Mon Dec 03 08:16:58 2012 +0000
@@ -1,5 +1,5 @@
 theory Prefix_subtract
-  imports Main "~~/src/HOL/Library/List_Prefix"
+  imports Main "../List_Prefix"
 begin
 
 




