NEWS
changeset 8014 fdf1281a3d0c
parent 8007 c29e27ee4933
child 8015 4a687092b201
     1.1 --- a/NEWS	Thu Nov 11 12:44:08 1999 +0100
     1.2 +++ b/NEWS	Thu Nov 11 16:14:50 1999 +0100
     1.3 @@ -2,9 +2,18 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 +*** Overview of INCOMPATIBILITIES (see below for more details) ***
     1.8 +
     1.9 +* HOL: the constant for f``x is now "image" rather than "op ``".
    1.10 +
    1.11 +
    1.12  New in this Isabelle version
    1.13  ----------------------------
    1.14  
    1.15 +*** HOL ***
    1.16 +
    1.17 +* Algebra: new theory of rings and univariate polynomials, by Clemens Ballarin
    1.18 +
    1.19  
    1.20  New in Isabelle99 (October 1999)
    1.21  --------------------------------