
diff -r 32774e40afb0 -r 207538943038 src/HOL/Library/Prefix_Order.thy
--- a/src/HOL/Library/Prefix_Order.thy	Wed Feb 19 10:21:02 2014 +0100
+++ b/src/HOL/Library/Prefix_Order.thy	Wed Feb 19 10:30:21 2014 +0100
@@ -5,7 +5,7 @@
 header {* Prefix order on lists as order class instance *}
 
 theory Prefix_Order
-imports List_Prefix
+imports Sublist
 begin
 
 instantiation list :: (type) order




