
diff -r 73efc70edeef -r 456f726a11e4 src/HOL/Orderings.thy
--- 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




