--- a/src/HOL/Orderings.thy Wed Aug 03 23:21:52 2011 +0200
+++ b/src/HOL/Orderings.thy Wed Aug 03 23:21:52 2011 +0200
@@ -1246,7 +1246,7 @@
subsection {* Order on bool *}
-instantiation bool :: "{order, bot, top}"
+instantiation bool :: "{bot, top}"
begin
definition