Fri, 18 Oct 1996 11:43:14 +0200 | paulson | New version of Yahalom, as recommended on p 259 of BAN paper | changeset | files |
Fri, 18 Oct 1996 11:42:41 +0200 | paulson | Addition of Reveal message | changeset | files |
Fri, 18 Oct 1996 11:42:17 +0200 | paulson | Deleted obsolete rewrites (they are now in HOL/simpdata) | changeset | files |