Tue, 01 Jul 1997 17:32:12 +0200 |
paulson |
New theory TLS
|
file |
diff |
annotate
|
Thu, 15 May 1997 15:51:47 +0200 |
oheimb |
renamed unsafe_addss to addss
|
file |
diff |
annotate
|
Wed, 07 May 1997 13:01:43 +0200 |
paulson |
Conversion to use blast_tac (with other improvements)
|
file |
diff |
annotate
|
Mon, 20 Jan 1997 10:27:45 +0100 |
paulson |
Now requests runtimes of all theories
|
file |
diff |
annotate
|
Thu, 19 Dec 1996 11:54:19 +0100 |
paulson |
Addition of Auth/Recur
|
file |
diff |
annotate
|
Thu, 05 Dec 1996 19:01:49 +0100 |
paulson |
Loads new public-key examples
|
file |
diff |
annotate
|
Thu, 28 Nov 1996 15:56:04 +0100 |
paulson |
Addition of Woo-Lam protocol
|
file |
diff |
annotate
|
Thu, 24 Oct 1996 10:33:27 +0200 |
paulson |
Two new protocol variants
|
file |
diff |
annotate
|
Fri, 11 Oct 1996 10:52:54 +0200 |
paulson |
Addition of OtwayRees_AN
|
file |
diff |
annotate
|
Fri, 13 Sep 1996 13:16:57 +0200 |
paulson |
Addition of Yahalom protocol
|
file |
diff |
annotate
|
Tue, 10 Sep 1996 11:35:23 +0200 |
paulson |
Now runs all Auth proofs
|
file |
diff |
annotate
|
Tue, 03 Sep 1996 18:30:15 +0200 |
paulson |
ROOT file for Auth directory
|
file |
diff |
annotate
|