src/HOL/ex/Higher_Order_Logic.thy
Thu, 23 Jul 2015 14:20:51 +0200 wenzelm tuned proofs;
Sat, 22 Nov 2014 14:57:04 +0100 wenzelm misc tuning and modernization;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Tue, 07 Oct 2014 23:12:08 +0200 wenzelm more antiquotations;
Mon, 10 Feb 2014 17:20:11 +0100 wenzelm prefer vacuous definitional type classes over axiomatic ones;
Fri, 07 Jan 2011 14:46:28 +0100 bulwahn removing obselete Id comments from HOL/ex theories
Wed, 28 Apr 2010 12:07:52 +0200 wenzelm renamed command 'defaultsort' to 'default_sort';
Sun, 18 May 2008 17:03:20 +0200 wenzelm eliminated theory CPure;
Tue, 17 Jul 2007 13:19:17 +0200 wenzelm tuned specifications;
Wed, 13 Jun 2007 18:30:11 +0200 wenzelm tuned proofs: avoid implicit prems;
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Wed, 13 Sep 2006 12:05:50 +0200 krauss Major update to function package, including new syntax and the (only theoretical)
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Sun, 09 Apr 2006 18:51:13 +0200 wenzelm tuned syntax/abbreviations;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Tue, 01 Jun 2004 12:33:50 +0200 wenzelm removed obsolete sort 'logic';
Thu, 20 Dec 2001 21:15:37 +0100 wenzelm added lemma;
Wed, 05 Dec 2001 20:58:00 +0100 wenzelm sym [sym];
Tue, 04 Dec 2001 17:59:36 +0100 wenzelm added Higher_Order_Logic.thy;
less more (0) tip