src/FOL/IFOL.thy
Thu, 14 Jun 2007 23:04:36 +0200 wenzelm tuned proofs: avoid implicit prems;
Thu, 31 May 2007 20:55:29 +0200 wenzelm moved IsaPlanner from Provers to Tools;
Thu, 31 May 2007 14:34:06 +0200 wenzelm proper loading of ML files;
Fri, 11 May 2007 00:43:45 +0200 wenzelm tuned proofs;
Sat, 20 Jan 2007 14:09:27 +0100 wenzelm tuned ML setup;
Sun, 26 Nov 2006 23:43:53 +0100 wenzelm converted legacy ML scripts;
Sun, 26 Nov 2006 18:07:16 +0100 wenzelm updated (binder) syntax/notation;
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Tue, 07 Nov 2006 11:47:57 +0100 wenzelm renamed 'const_syntax' to 'notation';
Thu, 01 Jun 2006 21:14:54 +0200 wenzelm lemmas strip;
Sat, 20 May 2006 23:36:49 +0200 wenzelm removed obsolete 'finalconsts';
Tue, 16 May 2006 21:33:01 +0200 wenzelm tuned concrete syntax -- abbreviation/const_syntax;
Sun, 09 Apr 2006 18:51:13 +0200 wenzelm tuned syntax/abbreviations;
Sat, 08 Apr 2006 22:51:06 +0200 wenzelm refined 'abbreviation';
Wed, 22 Feb 2006 22:18:31 +0100 wenzelm not_equal: replaced syntax translation by abbreviation;
Tue, 31 Jan 2006 00:43:14 +0100 wenzelm declare defn rules;
Fri, 27 Jan 2006 19:05:24 +0100 wenzelm added atomize_iff;
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Fri, 30 Dec 2005 16:56:57 +0100 wenzelm fixed final_consts;
Thu, 22 Dec 2005 00:29:14 +0100 wenzelm structure ProjectRule;
Thu, 29 Sep 2005 00:58:55 +0200 wenzelm more finalconsts;
Fri, 23 Sep 2005 00:11:10 +0200 nipkow renamed rules to iprover
Tue, 06 Sep 2005 16:59:51 +0200 wenzelm avoid old-style infixes;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 31 May 2005 11:53:12 +0200 wenzelm tuned;
Sun, 22 May 2005 16:51:07 +0200 wenzelm Simplifier already setup in Pure;
Tue, 01 Feb 2005 18:01:57 +0100 paulson the new subst tactic, by Lucas Dixon
Tue, 07 Dec 2004 11:31:14 +0100 paulson proof of subst by S Merz
Tue, 01 Jun 2004 12:33:50 +0200 wenzelm removed obsolete sort 'logic';
Wed, 14 Apr 2004 14:13:05 +0200 kleing use more symbols in HTML output
less more (0) -50 -30 tip