author | paulson |
Wed, 22 Oct 2003 10:51:30 +0200 | |
changeset 14243 | 0e2ec694784d |
parent 14242 | ec70653a02bf |
child 14244 | f58598341d30 |
--- 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) --------------------------------