| Thu, 18 Sep 1997 13:24:04 +0200 | paulson | Global change: lost->bad and sees Spy->spies | changeset | files |
| Wed, 17 Sep 1997 16:40:52 +0200 | paulson | Deleted the redundant identifier Says_imp_sees_Spy' | changeset | files |
| Wed, 17 Sep 1997 16:39:43 +0200 | paulson | New proof of respond_Spy_not_see_session_key | changeset | files |
| Wed, 17 Sep 1997 16:38:34 +0200 | paulson | Removed the simprule imp_disjL from the analz_image_..._ss to boost speed | changeset | files |
| Wed, 17 Sep 1997 16:37:40 +0200 | paulson | Fixed comments | changeset | files |
| Wed, 17 Sep 1997 16:37:27 +0200 | paulson | Spy can see Notes of the compromised agents | changeset | files |
| Wed, 17 Sep 1997 16:37:21 +0200 | paulson | Now with the sessionK constant and new events ClientAccepts and ServerAccepts | changeset | files |