author | Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> |
Wed, 10 Jun 2015 13:38:19 +0200 (2015-06-10) | |
changeset 60398 | ee390872389a |
parent 60397 | f8a513fedb31 |
child 60399 | b3f54cde0216 |
--- 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) ------------------------------