recursion
authorpaulson
Wed Oct 22 10:51:30 2003 +0200 (2003-10-22)
changeset 142430e2ec694784d
parent 14242 ec70653a02bf
child 14244 f58598341d30
recursion
NEWS
     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  --------------------------------