equal
deleted
inserted
replaced
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 *** |