Fri, 25 Apr 2003 11:18:14 +0200 |
paulson |
Changes required by the certified email protocol
|
file |
diff |
annotate
|
Tue, 08 May 2001 15:56:57 +0200 |
paulson |
conversion of Auth/TLS to Isar script
|
file |
diff |
annotate
|
Fri, 27 Apr 2001 17:16:21 +0200 |
paulson |
better treatment of methods: uses Method.ctxt_args to refer to current
|
file |
diff |
annotate
|
Tue, 13 Feb 2001 13:16:27 +0100 |
paulson |
partial conversion to Isar script style
|
file |
diff |
annotate
|
Tue, 09 Jan 2001 15:29:17 +0100 |
nipkow |
`` -> ` and ``` -> ``
|
file |
diff |
annotate
|
Fri, 24 Jul 1998 13:03:20 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
Thu, 18 Sep 1997 13:24:04 +0200 |
paulson |
Global change: lost->bad and sees Spy->spies
|
file |
diff |
annotate
|
Mon, 14 Jul 1997 12:47:21 +0200 |
paulson |
Changing "lost" from a parameter of protocol definitions to a constant.
|
file |
diff |
annotate
|
Fri, 11 Jul 1997 13:26:15 +0200 |
paulson |
Moving common declarations and proofs from theories "Shared"
|
file |
diff |
annotate
|
Tue, 01 Jul 1997 17:35:09 +0200 |
paulson |
Removal of the obsolete newN function
|
file |
diff |
annotate
|
Thu, 09 Jan 1997 10:22:11 +0100 |
paulson |
New treatment of nonce creation
|
file |
diff |
annotate
|
Thu, 19 Dec 1996 11:58:39 +0100 |
paulson |
Extensive tidying and simplification, largely stemming from
|
file |
diff |
annotate
|
Thu, 05 Dec 1996 18:07:27 +0100 |
paulson |
Public-key examples
|
file |
diff |
annotate
|