NEWS
changeset 14243 0e2ec694784d
parent 14237 a486123e24a5
child 14254 342634f38451
equal deleted inserted replaced
14242:ec70653a02bf 14243:0e2ec694784d
    58   specification.  There is also an 'ax_specification' command that
    58   specification.  There is also an 'ax_specification' command that
    59   introduces the new constants axiomatically.
    59   introduces the new constants axiomatically.
    60 
    60 
    61 * SET-Protocol: formalization and verification of the SET protocol suite;
    61 * SET-Protocol: formalization and verification of the SET protocol suite;
    62 
    62 
       
    63 * HOL-ex: InductiveInvariant_examples illustrates advanced recursive function
       
    64  defintions, thanks to Sava Krsti\'{c} and John Matthews.
    63 
    65 
    64 New in Isabelle2003 (May 2003)
    66 New in Isabelle2003 (May 2003)
    65 --------------------------------
    67 --------------------------------
    66 
    68 
    67 *** General ***
    69 *** General ***