src/HOL/Auth/Recur.thy
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Wed, 17 Feb 2016 21:51:56 +0100 haftmann prefer abbreviations for compound operators INFIMUM and SUPREMUM
Mon, 28 Dec 2015 23:13:33 +0100 wenzelm more symbols;
Thu, 10 Dec 2015 21:39:33 +0100 wenzelm isabelle update_cartouches -c -t;
Mon, 10 Nov 2014 21:49:48 +0100 wenzelm proper context for assume_tac (atac remains as fall-back without context);
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 22 Jul 2010 18:08:39 +0200 wenzelm updated some headers;
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Fri, 14 Aug 2009 17:26:11 +0100 paulson sledgehammer used to streamline protocol proofs
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.);
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;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
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
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
Fri, 25 Apr 2003 11:18:14 +0200 paulson Changes required by the certified email protocol
Sat, 17 Aug 2002 14:55:08 +0200 paulson tidying of Isar scripts
Wed, 03 Oct 2001 20:54:16 +0200 wenzelm tuned parentheses in relational expressions;
Thu, 03 May 2001 11:53:42 +0200 paulson minor tweaks
Fri, 27 Apr 2001 17:16:21 +0200 paulson better treatment of methods: uses Method.ctxt_args to refer to current
Tue, 24 Apr 2001 12:19:01 +0200 paulson (rough) conversion of Auth/Recur to Isar format
Tue, 27 Feb 2001 16:13:23 +0100 paulson Some X-symbols for <notin>, <noteq>, <forall>, <exists>
Tue, 08 Sep 1998 15:17:11 +0200 paulson Got rid of not_Says_to_self and most uses of ~= in definitions and theorems
Fri, 21 Aug 1998 16:14:34 +0200 paulson Tidying
Sat, 10 Jan 1998 17:59:32 +0100 paulson Simplified proofs by omitting PA = {|XA, ...|} from RA2
less more (0) -30 tip