Removes an inconsistent definition from Library.thy ,
so that the lexical order is the standard order for lists.
The prefix order is not built any more.
--- a/src/HOL/Library/Library.thy Sun May 29 12:39:12 2005 +0200
+++ b/src/HOL/Library/Library.thy Sun May 29 12:41:40 2005 +0200
@@ -16,7 +16,7 @@
While_Combinator
Word
Zorn
- List_Prefix
+ (*List_Prefix*)
Char_ord
List_lexord
begin