# HG changeset patch
# User haftmann
# Date 1197526141 -3600
# Node ID bd055df900d3156631a4e9ae404402d28dcf5ec6
# Parent  314d949c70b553b71b410e4b774a8f533dc074e0
dropped ws

diff -r 314d949c70b5 -r bd055df900d3 src/HOL/OrderedGroup.thy
--- a/src/HOL/OrderedGroup.thy	Thu Dec 13 07:09:00 2007 +0100
+++ b/src/HOL/OrderedGroup.thy	Thu Dec 13 07:09:01 2007 +0100
@@ -80,7 +80,7 @@
 begin
 
 subclass monoid_mult
-  by unfold_locales (insert mult_1, simp_all add: mult_commute) 
+  by unfold_locales (insert mult_1, simp_all add: mult_commute)
 
 end