| 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
|
| Tue, 11 May 2004 10:49:04 +0200 |
paulson |
removal of prime characters
|
file |
diff |
annotate
|
| Fri, 26 Sep 2003 10:34:28 +0200 |
paulson |
Conversion of all main protocols from "Shared" to "Public".
|
file |
diff |
annotate
|
| Tue, 23 Sep 2003 15:41:33 +0200 |
paulson |
Removal of the Key_supply axiom (affects many possbility proofs) and minor
|
file |
diff |
annotate
|
| Tue, 12 Aug 2003 13:35:03 +0200 |
paulson |
ZhouGollmann: new example (fair non-repudiation protocol)
|
file |
diff |
annotate
|
| Mon, 05 May 2003 18:22:01 +0200 |
paulson |
improved presentation of HOL/Auth theories
|
file |
diff |
annotate
|
| Tue, 29 Apr 2003 12:36:40 +0200 |
paulson |
better guarantees
|
file |
diff |
annotate
|
| Sat, 26 Apr 2003 12:38:42 +0200 |
paulson |
converting more HOL-Auth to new-style theories
|
file |
diff |
annotate
|
| Fri, 25 Apr 2003 11:18:14 +0200 |
paulson |
Changes required by the certified email protocol
|
file |
diff |
annotate
|