Thu, 19 Dec 1996 11:58:39 +0100 |
paulson |
Extensive tidying and simplification, largely stemming from
|
file |
diff |
annotate
|
Fri, 13 Dec 1996 11:00:44 +0100 |
paulson |
Removed needless quotation marks
|
file |
diff |
annotate
|
Fri, 29 Nov 1996 18:03:21 +0100 |
paulson |
Swapped arguments of Crypt (for clarity and because it is conventional)
|
file |
diff |
annotate
|
Fri, 01 Nov 1996 18:34:34 +0100 |
paulson |
Minor changes to comments
|
file |
diff |
annotate
|
Thu, 24 Oct 1996 10:38:35 +0200 |
paulson |
New Oops message, with Server as source to ensure
|
file |
diff |
annotate
|
Fri, 18 Oct 1996 11:42:41 +0200 |
paulson |
Addition of Reveal message
|
file |
diff |
annotate
|
Thu, 26 Sep 1996 12:50:48 +0200 |
paulson |
Introduction of "lost" argument
|
file |
diff |
annotate
|
Fri, 13 Sep 1996 13:16:57 +0200 |
paulson |
Addition of Yahalom protocol
|
file |
diff |
annotate
|
Thu, 12 Sep 1996 10:40:05 +0200 |
paulson |
Tidied many proofs, using AddIffs to let equivalences take
|
file |
diff |
annotate
|