NEWS
changeset 14199 d3b8d972a488
parent 14175 dbd16ebaf907
child 14211 7286c187596d
     1.1 --- a/NEWS	Mon Sep 22 16:19:46 2003 +0200
     1.2 +++ b/NEWS	Tue Sep 23 15:40:27 2003 +0200
     1.3 @@ -38,6 +38,8 @@
     1.4  * 'specification' command added, allowing for definition by
     1.5  specification.
     1.6  
     1.7 +* SET-Protocol: formalization and verification of the SET protocol suite;
     1.8 +
     1.9  
    1.10  New in Isabelle2003 (May 2003)
    1.11  --------------------------------