NEWS
changeset 65027 2b8583507891
parent 64986 b81a048960a3
child 65041 2525e680f94f
     1.1 --- a/NEWS	Sat Feb 11 22:53:35 2017 +0100
     1.2 +++ b/NEWS	Mon Feb 13 16:03:53 2017 +0100
     1.3 @@ -94,6 +94,14 @@
     1.4  * The theorem in Permutations has been renamed:
     1.5    bij_swap_ompose_bij ~> bij_swap_compose_bij
     1.6  
     1.7 +* Session HOL-Library: The simprocs on subsets operators of multisets have been renamed:
     1.8 +  msetless_cancel_numerals ~> msetsubset_cancel
     1.9 +  msetle_cancel_numerals ~> msetsubset_eq_cancel
    1.10 +INCOMPATIBILITY.
    1.11 +
    1.12 +* Session HOL-Library: The suffix _numerals has been removed from the name of the simprocs on multisets.
    1.13 +INCOMPATIBILITY.
    1.14 +
    1.15  
    1.16  *** System ***
    1.17