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.
merged
authorberghofe
Wed, 25 Feb 2009 11:49:05 +0100
changeset 30090 7b25295489b6
parent 30085 3d6aab74a184 (diff)
parent 30089 f631fb528277 (current diff)
child 30091 2fb0b721e9c2
child 30094 83e864eb239f
child 30301 429612400fe9
merged
--- a/NEWS	Wed Feb 25 11:20:34 2009 +0100
+++ b/NEWS	Wed Feb 25 11:49:05 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