NEWS
changeset 14243 0e2ec694784d
parent 14237 a486123e24a5
child 14254 342634f38451
     1.1 --- a/NEWS	Tue Oct 21 11:09:23 2003 +0200
     1.2 +++ b/NEWS	Wed Oct 22 10:51:30 2003 +0200
     1.3 @@ -60,6 +60,8 @@
     1.4  
     1.5  * SET-Protocol: formalization and verification of the SET protocol suite;
     1.6  
     1.7 +* HOL-ex: InductiveInvariant_examples illustrates advanced recursive function
     1.8 + defintions, thanks to Sava Krsti\'{c} and John Matthews.
     1.9  
    1.10  New in Isabelle2003 (May 2003)
    1.11  --------------------------------