| Mon, 21 Sep 2009 15:33:40 +0200 |
haftmann |
added session entry point theories
|
file |
diff |
annotate
|
| Tue, 02 Sep 2008 22:37:20 +0200 |
nipkow |
Replaced Library/NatPair by Nat_Int_Bij.
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 23:23:28 +0200 |
wenzelm |
simultaneous use_thys;
|
file |
diff |
annotate
|
| Wed, 01 Feb 2006 15:22:02 +0100 |
paulson |
new and updated protocol proofs by Giamp Bella
|
file |
diff |
annotate
|
| Wed, 14 Sep 2005 23:14:57 +0200 |
wenzelm |
renamed Guard/NS_Public, Guard/OtwayRees, Guard/Yahalom.thy to avoid clash with plain Auth versions;
|
file |
diff |
annotate
|
| Fri, 07 May 2004 20:32:40 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
| Sun, 21 Dec 2003 18:39:27 +0100 |
paulson |
tidying of HOL/Auth esp Guard lemmas
|
file |
diff |
annotate
|
| Tue, 12 Aug 2003 13:35:03 +0200 |
paulson |
ZhouGollmann: new example (fair non-repudiation protocol)
|
file |
diff |
annotate
|
| Fri, 25 Apr 2003 11:18:14 +0200 |
paulson |
Changes required by the certified email protocol
|
file |
diff |
annotate
|
| Fri, 30 Aug 2002 16:42:45 +0200 |
paulson |
removal of blast.overloaded
|
file |
diff |
annotate
|
| Wed, 21 Aug 2002 15:53:30 +0200 |
paulson |
Frederic Blanqui's new "guard" examples
|
file |
diff |
annotate
|
| Tue, 30 May 2000 16:08:38 +0200 |
wenzelm |
cleaned up;
|
file |
diff |
annotate
|
| Tue, 17 Aug 1999 22:14:02 +0200 |
wenzelm |
HOL_quantifiers;
|
file |
diff |
annotate
|
| Tue, 20 Apr 1999 14:33:48 +0200 |
paulson |
addition of Kerberos IV example
|
file |
diff |
annotate
|
| Thu, 18 Mar 1999 10:41:33 +0100 |
paulson |
added new theory Yahalom_Bad
|
file |
diff |
annotate
|
| Thu, 11 Mar 1999 13:20:35 +0100 |
wenzelm |
removed foo_build_completed -- now handled by session management (via usedir);
|
file |
diff |
annotate
|
| Fri, 21 Aug 1998 16:14:34 +0200 |
paulson |
Tidying
|
file |
diff |
annotate
|
| Fri, 19 Jun 1998 10:34:33 +0200 |
paulson |
New example Kerberos_BAN by G Bella
|
file |
diff |
annotate
|
| Fri, 19 Dec 1997 10:28:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 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
|