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.
tuned
authorMathias Fleury <Mathias.Fleury@mpi-inf.mpg.de>
Wed, 10 Jun 2015 13:38:19 +0200
changeset 60398 ee390872389a
parent 60397 f8a513fedb31
child 60399 b3f54cde0216
tuned
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Jun 10 13:24:16 2015 +0200
+++ b/NEWS	Wed Jun 10 13:38:19 2015 +0200
@@ -62,9 +62,10 @@
     are now available through the "subset_mset" interpretation
     (e.g. add_mono ~> subset_mset.add_mono).
     INCOMPATIBILITY.
-  - Removing mset_le_def:
-    mset_le_def ~> subseteq_mset_def
-    mset_less_def ~> subset_mset_def
+  - Renamed lemmas:
+      mset_le_def ~> subseteq_mset_def
+      mset_less_def ~> subset_mset_def
+
 
 New in Isabelle2015 (May 2015)
 ------------------------------
isabelle