Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 47165 9344891b504b
parent 47164 6a4c479ba94f
child 47167 099397de21e3 
--- a/NEWS	Tue Mar 27 16:04:51 2012 +0200
+++ b/NEWS	Tue Mar 27 19:21:05 2012 +0200
@@ -144,6 +144,8 @@
   zmod_self ~> mod_self
   zdiv_zero ~> div_0
   zmod_zero ~> mod_0
+  zdiv_zmod_equality ~> div_mod_equality2
+  zdiv_zmod_equality2 ~> div_mod_equality
   zmod_zdiv_trivial ~> mod_div_trivial
   zdiv_zminus_zminus ~> div_minus_minus
   zmod_zminus_zminus ~> mod_minus_minus
isabelle