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