| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 20 Jul 2004 14:24:23 +0200 | paulson | minor tweaks to go with the new version of the Accountability paper | file | diff | annotate |
| Thu, 15 Jul 2004 15:32:32 +0200 | paulson | redefining sumr to be a translation to setsum | file | diff | annotate |
| Wed, 12 May 2004 10:40:41 +0200 | paulson | simpilified and strengthened proofs | file | diff | annotate |
| Tue, 11 May 2004 10:49:58 +0200 | paulson | broken no longer includes TTP, and other minor changes | file | diff | annotate |
| Fri, 26 Sep 2003 10:34:28 +0200 | paulson | Conversion of all main protocols from "Shared" to "Public". | file | diff | annotate |
| Wed, 13 Aug 2003 12:28:53 +0200 | paulson | possibility proof! | file | diff | annotate |
| Tue, 12 Aug 2003 13:35:03 +0200 | paulson | ZhouGollmann: new example (fair non-repudiation protocol) | file | diff | annotate |