| 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 |