| changeset 39993 | eebfa0b93896 |
| parent 39963 | 626b1d360d42 |
| child 40059 | 6ad9081665db |
--- a/NEWS Sun Oct 10 22:50:25 2010 +0200 +++ b/NEWS Thu Oct 14 12:40:14 2010 +0200 @@ -103,6 +103,8 @@ * Dropped type classes mult_mono and mult_mono1. INCOMPATIBILITY. +* Removed output syntax "'a ~=> 'b" for "'a => 'b option". INCOMPATIBILITY. + * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras; canonical names for instance definitions for functions; various improvements. INCOMPATIBILITY.