NEWS
authorkrauss
Thu Oct 14 12:40:14 2010 +0200 (2010-10-14)
changeset 39993eebfa0b93896
parent 39992 f225a499a8e5
child 39994 7bd8013b903f
child 39997 b654fa27fbc4
NEWS
NEWS
     1.1 --- a/NEWS	Sun Oct 10 22:50:25 2010 +0200
     1.2 +++ b/NEWS	Thu Oct 14 12:40:14 2010 +0200
     1.3 @@ -103,6 +103,8 @@
     1.4  
     1.5  * Dropped type classes mult_mono and mult_mono1.  INCOMPATIBILITY.
     1.6  
     1.7 +* Removed output syntax "'a ~=> 'b" for "'a => 'b option". INCOMPATIBILITY.
     1.8 +
     1.9  * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras;
    1.10  canonical names for instance definitions for functions; various improvements.
    1.11  INCOMPATIBILITY.