--- a/src/HOL/Orderings.thy Tue Mar 18 23:25:06 2008 +0100 +++ b/src/HOL/Orderings.thy Wed Mar 19 07:20:28 2008 +0100 @@ -925,7 +925,7 @@ subsection {* Order on bool *} -instantiation bool :: order +instantiation bool :: order begin definition