src/HOL/ex/Classical.thy
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Fri, 23 Apr 2010 23:35:43 +0200 wenzelm mark schematic statements explicitly;
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Wed, 29 Jul 2009 19:35:10 +0200 wenzelm Meson.first_order_resolve: avoid handle _;
Fri, 20 Mar 2009 15:24:18 +0100 wenzelm eliminated global SIMPSET, CLASET etc. -- refer to explicit context;
Fri, 17 Aug 2007 00:03:50 +0200 wenzelm proper signature for Meson;
Tue, 26 Jun 2007 18:32:53 +0200 paulson updated for metis method
Thu, 19 Apr 2007 18:23:11 +0200 paulson trying to make single-step proofs work better, especially if they contain
Tue, 09 Jan 2007 15:49:39 +0100 paulson simplified the resoution proofs
Thu, 04 Jan 2007 17:55:12 +0100 paulson improvements to proof reconstruction. Some files loaded in a different order
Fri, 22 Dec 2006 21:00:55 +0100 paulson revised for new make_clauses
Mon, 23 Oct 2006 11:18:50 +0200 paulson new single-step proofs
Fri, 20 Oct 2006 11:07:45 +0200 paulson example of a single-step proof reconstruction
Wed, 14 Dec 2005 16:14:41 +0100 paulson modified example for new clauses
Tue, 28 Jun 2005 17:56:04 +0200 paulson stylistic improvements
Fri, 24 Jun 2005 17:25:10 +0200 paulson meson method taking an argument list
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 20 May 2005 18:34:14 +0200 paulson converted some problems to Isar format
Tue, 07 Dec 2004 18:10:13 +0100 paulson renamed attributes to lower case
Fri, 20 Aug 2004 12:21:03 +0200 paulson proof reconstruction for external ATPs
Fri, 06 Aug 2004 13:35:26 +0200 paulson modified resolution proof
Mon, 28 Jun 2004 11:15:13 +0200 paulson new method for explicit classical resolution
Wed, 29 Oct 2003 16:16:20 +0100 paulson tidying
Wed, 08 Oct 2003 15:57:41 +0200 paulson Merging of ex/cla.ML and ex/mesontest.ML to ex/Classical.thy
less more (0) tip