src/HOL/Library/List_Prefix.thy
changeset 25595 6c48275f9c76
parent 25564 4ca31a3706a4
child 25665 faabc08af882
     1.1 --- a/src/HOL/Library/List_Prefix.thy	Mon Dec 10 11:24:09 2007 +0100
     1.2 +++ b/src/HOL/Library/List_Prefix.thy	Mon Dec 10 11:24:12 2007 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  header {* List prefixes and postfixes *}
     1.5  
     1.6  theory List_Prefix
     1.7 -imports Main
     1.8 +imports List
     1.9  begin
    1.10  
    1.11  subsection {* Prefix order on lists *}