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