tuned;
authorwenzelm
Fri Nov 12 10:57:28 1999 +0100 (1999-11-12)
changeset 80154a687092b201
parent 8014 fdf1281a3d0c
child 8016 b7713108ffd8
tuned;
NEWS
     1.1 --- a/NEWS	Thu Nov 11 16:14:50 1999 +0100
     1.2 +++ b/NEWS	Fri Nov 12 10:57:28 1999 +0100
     1.3 @@ -2,19 +2,20 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 +New in this Isabelle version
     1.8 +----------------------------
     1.9 +
    1.10  *** Overview of INCOMPATIBILITIES (see below for more details) ***
    1.11  
    1.12  * HOL: the constant for f``x is now "image" rather than "op ``".
    1.13  
    1.14  
    1.15 -New in this Isabelle version
    1.16 -----------------------------
    1.17 -
    1.18  *** HOL ***
    1.19  
    1.20  * Algebra: new theory of rings and univariate polynomials, by Clemens Ballarin
    1.21  
    1.22  
    1.23 +
    1.24  New in Isabelle99 (October 1999)
    1.25  --------------------------------
    1.26