src/HOL/Library/List_lexord.thy
changeset 25595 6c48275f9c76
parent 25502 9200b36280c0
child 25764 878c37886eed
     1.1 --- a/src/HOL/Library/List_lexord.thy	Mon Dec 10 11:24:09 2007 +0100
     1.2 +++ b/src/HOL/Library/List_lexord.thy	Mon Dec 10 11:24:12 2007 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  header {* Lexicographic order on lists *}
     1.5  
     1.6  theory List_lexord
     1.7 -imports Main
     1.8 +imports List
     1.9  begin
    1.10  
    1.11  instance list :: (ord) ord