src/HOL/Auth/Public.thy
Wed, 01 Aug 2007 20:25:16 +0200 wenzelm tuned ML bindings (for multithreading);
Sat, 21 Jul 2007 23:25:00 +0200 wenzelm tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.);
Mon, 11 Jun 2007 11:06:04 +0200 chaieb tuned Proof
Fri, 01 Dec 2006 17:22:28 +0100 haftmann stripped some legacy bindings
Wed, 29 Nov 2006 15:44:51 +0100 wenzelm simplified method setup;
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Thu, 28 Sep 2006 23:42:35 +0200 wenzelm replaced syntax/translations by abbreviation;
Sat, 08 Jul 2006 12:54:36 +0200 wenzelm tactic/method simpset: maintain proper context;
Mon, 23 Jan 2006 11:36:05 +0100 paulson replacement of bool by a datatype (making problems first-order). More lemma names
Wed, 04 Jan 2006 16:13:53 +0100 paulson a few more named lemmas
Wed, 26 Oct 2005 16:31:53 +0200 paulson tidied away duplicate thm
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 22 Mar 2005 16:31:51 +0100 paulson deleted a pointless comment
Sun, 11 Jul 2004 20:33:22 +0200 wenzelm local_cla/simpset_of;
Tue, 18 Nov 2003 11:03:56 +0100 paulson fixed a comment
Fri, 26 Sep 2003 10:34:28 +0200 paulson Conversion of all main protocols from "Shared" to "Public".
Tue, 23 Sep 2003 15:41:33 +0200 paulson Removal of the Key_supply axiom (affects many possbility proofs) and minor
Fri, 25 Jul 2003 10:52:15 +0200 paulson Simplified a proof using presburger
Thu, 24 Jul 2003 16:36:29 +0200 paulson Tidying and replacement of some axioms by specifications
Mon, 05 May 2003 18:22:01 +0200 paulson improved presentation of HOL/Auth theories
Tue, 29 Apr 2003 12:36:49 +0200 paulson tweaks
Sat, 26 Apr 2003 12:38:42 +0200 paulson converting more HOL-Auth to new-style theories
Fri, 25 Apr 2003 11:18:14 +0200 paulson Changes required by the certified email protocol
Tue, 08 May 2001 15:56:57 +0200 paulson conversion of Auth/TLS to Isar script
Fri, 27 Apr 2001 17:16:21 +0200 paulson better treatment of methods: uses Method.ctxt_args to refer to current
Tue, 13 Feb 2001 13:16:27 +0100 paulson partial conversion to Isar script style
Tue, 09 Jan 2001 15:29:17 +0100 nipkow `` -> ` and ``` -> ``
Fri, 24 Jul 1998 13:03:20 +0200 berghofe Adapted to new datatype package.
Thu, 18 Sep 1997 13:24:04 +0200 paulson Global change: lost->bad and sees Spy->spies
Mon, 14 Jul 1997 12:47:21 +0200 paulson Changing "lost" from a parameter of protocol definitions to a constant.
Fri, 11 Jul 1997 13:26:15 +0200 paulson Moving common declarations and proofs from theories "Shared"
Tue, 01 Jul 1997 17:35:09 +0200 paulson Removal of the obsolete newN function
Thu, 09 Jan 1997 10:22:11 +0100 paulson New treatment of nonce creation
Thu, 19 Dec 1996 11:58:39 +0100 paulson Extensive tidying and simplification, largely stemming from
Thu, 05 Dec 1996 18:07:27 +0100 paulson Public-key examples
less more (0) tip