src/HOL/Auth/CertifiedEmail.thy
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Tue, 28 Jun 2011 14:52:46 +0100 paulson simplified proofs using metis calls
Thu, 22 Jul 2010 18:08:39 +0200 wenzelm updated some headers;
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Wed, 11 Jul 2007 11:14:51 +0200 berghofe Adapted to new inductive definition package.
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;
Wed, 28 Sep 2005 11:15:33 +0200 paulson streamlined theory; conformance to recent publication
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 20 Jul 2004 14:24:23 +0200 paulson minor tweaks to go with the new version of the Accountability paper
Tue, 11 May 2004 10:49:04 +0200 paulson removal of prime characters
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
Tue, 12 Aug 2003 13:35:03 +0200 paulson ZhouGollmann: new example (fair non-repudiation protocol)
Mon, 05 May 2003 18:22:01 +0200 paulson improved presentation of HOL/Auth theories
Tue, 29 Apr 2003 12:36:40 +0200 paulson better guarantees
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
less more (0) tip