# HG changeset patch
# User haftmann
# Date 1205907628 -3600
# Node ID 456f726a11e4c1c0a04be78665b9c3477fc16fbc
# Parent  73efc70edeef0a65342be84e6c4552b5c5439684
whitespace tuning

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