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