Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 file | annotate | diff | comparison | revisions 
--- 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
isabelle