dropped ws
authorhaftmann
Thu, 13 Dec 2007 07:09:01 +0100
changeset 25613 bd055df900d3
parent 25612 314d949c70b5
child 25614 0b8baa94b866
dropped ws
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