dropped ws
authorhaftmann
Thu Dec 13 07:09:01 2007 +0100 (2007-12-13)
changeset 25613bd055df900d3
parent 25612 314d949c70b5
child 25614 0b8baa94b866
dropped ws
src/HOL/OrderedGroup.thy
     1.1 --- a/src/HOL/OrderedGroup.thy	Thu Dec 13 07:09:00 2007 +0100
     1.2 +++ b/src/HOL/OrderedGroup.thy	Thu Dec 13 07:09:01 2007 +0100
     1.3 @@ -80,7 +80,7 @@
     1.4  begin
     1.5  
     1.6  subclass monoid_mult
     1.7 -  by unfold_locales (insert mult_1, simp_all add: mult_commute) 
     1.8 +  by unfold_locales (insert mult_1, simp_all add: mult_commute)
     1.9  
    1.10  end
    1.11