--- a/src/HOL/Orderings.thy Mon Oct 24 12:26:05 2011 +0200
+++ b/src/HOL/Orderings.thy Mon Oct 24 16:47:24 2011 +0200
@@ -1232,7 +1232,7 @@
subsection {* Order on bool *}
-instantiation bool :: "{bot, top}"
+instantiation bool :: "{bot, top, linorder}"
begin
definition