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.
fixed typo
authorhaftmann
Thu, 11 Mar 2010 14:38:09 +0100
changeset 35721 f7bbee848403
parent 35720 3fc79186a2f6
child 35722 69419a09a7ff
fixed typo
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Mar 10 16:53:43 2010 +0100
+++ b/NEWS	Thu Mar 11 14:38:09 2010 +0100
@@ -102,7 +102,7 @@
 
 INCOMPATIBILITY.
 
-* Class division ring also requires proof of fact divide_inverse.  However instantiation
+* Class division_ring also requires proof of fact divide_inverse.  However instantiation
 of parameter divide has also been required previously.  INCOMPATIBILITY.
 
 * More consistent naming of type classes involving orderings (and lattices):
isabelle