src/FOL/FOL.thy
Thu, 31 May 2007 14:34:05 +0200 wenzelm tuned header;
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;
Thu, 27 Jul 2006 13:43:00 +0200 wenzelm tuned proofs;
Sat, 28 Jan 2006 17:28:50 +0100 wenzelm tuned proofs;
Fri, 06 Jan 2006 18:18:13 +0100 wenzelm simplified EqSubst setup;
Fri, 06 Jan 2006 15:18:20 +0100 wenzelm tuned EqSubst setup;
Sat, 31 Dec 2005 21:49:39 +0100 wenzelm removed obsolete cla_dist_concl;
Fri, 30 Dec 2005 16:56:56 +0100 wenzelm provide cla_dist_concl;
Fri, 23 Dec 2005 18:36:26 +0100 wenzelm removed obsolete induct_atomize_old;
Thu, 22 Dec 2005 00:28:34 +0100 wenzelm updated auxiliary facts for induct method;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 01 Feb 2005 18:01:57 +0100 paulson the new subst tactic, by Lucas Dixon
Thu, 08 Jul 2004 19:32:46 +0200 wenzelm removed obsolete dependency;
Wed, 20 Aug 2003 11:04:17 +0200 paulson new case_tac method
less more (0) -15 tip