changeset 35728 | c36ade6f4c33 |
parent 35721 | f7bbee848403 |
child 35745 | 1416f568b2b6 |
--- a/NEWS Thu Mar 11 14:40:29 2010 +0100 +++ b/NEWS Thu Mar 11 15:52:33 2010 +0100 @@ -83,6 +83,9 @@ *** HOL *** +* Split off theory Big_Operators containing setsum, setprod, Inf_fin, Sup_fin, +Min, Max from theory Finite_Set. INCOMPATIBILITY. + * Theory "Rational" renamed to "Rat", for consistency with "Nat", "Int" etc. INCOMPATIBILITY.