Wed, 10 Mar 1999 10:42:57 +0100 | paulson | updating both Yahalom protocols to the Gets model | changeset | files |
Wed, 10 Mar 1999 10:42:40 +0100 | paulson | updated not_bad_tac for the Gets model | changeset | files |
Wed, 10 Mar 1999 10:42:11 +0100 | paulson | deleted obsolete comments | changeset | files |