# HG changeset patch
# User haftmann
# Date 1312406512 -7200
# Node ID ec2a7901217b63c0786760a39bd333719fadae64
# Parent  de7642fcbe1e8af4ac4aa8a35815f081bc313cc8
tuned

diff -r de7642fcbe1e -r ec2a7901217b src/HOL/Orderings.thy
--- 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