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
Thu, 18 Jun 2015 16:17:51 +0200
changeset 60514 78a82c37b4b2
parent 60513 55c7316f76d6
child 60515 484559628038
child 60518 a79f89a36dff
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Jun 18 16:16:17 2015 +0200
+++ b/NEWS	Thu Jun 18 16:17:51 2015 +0200
@@ -117,6 +117,7 @@
     INCOMPATIBILITY.
   - Renamed conversions:
       set_of ~> set_mset
+      multiset_of_set ~> mset_set
     INCOMPATIBILITY
   - Renamed lemmas:
       mset_le_def ~> subseteq_mset_def
isabelle