--- a/src/HOL/Library/Sublist.thy Wed Aug 29 16:25:35 2012 +0900
+++ b/src/HOL/Library/Sublist.thy Thu Aug 30 13:03:03 2012 +0900
@@ -5,7 +5,7 @@
header {* List prefixes, suffixes, and embedding*}
theory Sublist
-imports List Main
+imports Main
begin
subsection {* Prefix order on lists *}