*** empty log message ***
authornipkow
Mon Oct 16 10:59:35 2000 +0200 (2000-10-16)
changeset 102247263c856787e
parent 10223 31346d22bb54
child 10225 b9fd52525b69
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Sun Oct 15 19:51:56 2000 +0200
     1.2 +++ b/NEWS	Mon Oct 16 10:59:35 2000 +0200
     1.3 @@ -1,7 +1,11 @@
     1.4 -
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 +*** Overview of INCOMPATIBILITIES ***
     1.9 +
    1.10 +* HOL: induct renamed to lfp_induct;
    1.11 +
    1.12 +
    1.13  New in Isabelle99-1 (October 2000)
    1.14  ----------------------------------
    1.15