NEWS
changeset 14401 477380c74c1d
parent 14399 dc677b35e54f
child 14418 b62323c85134
     1.1 --- a/NEWS	Thu Feb 19 17:57:54 2004 +0100
     1.2 +++ b/NEWS	Thu Feb 19 18:24:08 2004 +0100
     1.3 @@ -101,7 +101,7 @@
     1.4    - INCOMPATIBILITY: many type-specific instances of laws proved in 
     1.5      Ring_and_Field are no longer available.
     1.6  
     1.7 -* Type "rat" of the rational numbers is now availabe in HOL-Complex.
     1.8 +* Type "rat" of the rational numbers is now available in HOL-Complex.
     1.9  
    1.10  * Records:
    1.11    - Record types are now by default printed with their type abbreviation
    1.12 @@ -119,8 +119,6 @@
    1.13  
    1.14  * HOL-Algebra: new locale "ring" for non-commutative rings.
    1.15  
    1.16 -* SET-Protocol: formalization and verification of the SET protocol suite;
    1.17 -
    1.18  * HOL-ex: InductiveInvariant_examples illustrates advanced recursive function
    1.19   defintions, thanks to Sava Krsti\'{c} and John Matthews.
    1.20  
    1.21 @@ -131,6 +129,8 @@
    1.22    Similarly for "\<Union>x. B", and for \<Inter> instead of \<Union>.
    1.23    The subscript version is also accepted as input syntax.
    1.24  
    1.25 +* ML: the legacy theory structures Int and List have been removed. They had
    1.26 +  conflicted with ML Basis Library structures having the same names.
    1.27  
    1.28  New in Isabelle2003 (May 2003)
    1.29  --------------------------------