# HG changeset patch
# User paulson
# Date 1066812690 -7200
# Node ID 0e2ec694784da56ffdf3ce5ff2a4a89e78ddd1ab
# Parent  ec70653a02bf9949ac9cfe15a9fb4ae4eab43e2b
recursion

diff -r ec70653a02bf -r 0e2ec694784d NEWS
--- 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)
 --------------------------------