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.
NEWS
authornipkow
Wed, 25 Feb 2009 10:24:58 +0100
changeset 30085 3d6aab74a184
parent 30084 776de457f214
child 30090 7b25295489b6
child 30256 f36741094f34
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Feb 25 07:42:20 2009 +0100
+++ b/NEWS	Wed Feb 25 10:24:58 2009 +0100
@@ -383,6 +383,7 @@
 zdvd_triv_left         -> dvd_triv_left
 zdvd_triv_right        -> dvd_triv_right
 zdvd_zmult_cancel_disj -> dvd_mult_cancel_left
+zmod_eq0_zdvd_iff      -> dvd_eq_mod_eq_0[symmetric]
 zmod_zadd_left_eq      -> mod_add_left_eq
 zmod_zadd_right_eq     -> mod_add_right_eq
 zmod_zadd_self1        -> mod_add_self1
isabelle