| changeset 37143 | 2a5182751151 |
| parent 37087 | dd47971b9875 |
| child 37144 | fd6308b4df72 |
--- a/NEWS Thu May 27 13:13:30 2010 +0200 +++ b/NEWS Thu May 27 15:15:20 2010 +0200 @@ -222,6 +222,9 @@ * Theory "Rational" renamed to "Rat", for consistency with "Nat", "Int" etc. INCOMPATIBILITY. +* Constant Rat.normalize needs to be qualified. Minor +INCOMPATIBILITY. + * New set of rules "ac_simps" provides combined assoc / commute rewrites for all interpretations of the appropriate generic locales.