src/FOLP/classical.ML
Fri, 25 Sep 2015 20:37:59 +0200 wenzelm moved remaining display.ML to more_thm.ML;
Sat, 18 Jul 2015 20:54:56 +0200 wenzelm prefer tactics with explicit context;
Tue, 10 Feb 2015 14:48:26 +0100 wenzelm proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
Mon, 10 Nov 2014 21:49:48 +0100 wenzelm proper context for assume_tac (atac remains as fall-back without context);
Sun, 09 Nov 2014 17:04:14 +0100 wenzelm proper context for match_tac etc.;
Sat, 14 May 2011 11:42:43 +0200 wenzelm modernized functor names;
Wed, 20 Apr 2011 22:57:29 +0200 wenzelm eliminated Display.string_of_thm_without_context;
Thu, 08 Jul 2010 16:19:24 +0200 haftmann tuned titles
Sat, 13 Mar 2010 16:44:12 +0100 wenzelm removed old CVS Ids;
Tue, 21 Jul 2009 01:03:18 +0200 wenzelm proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
Sat, 17 May 2008 13:54:30 +0200 wenzelm structure Display: less pervasive operations;
Tue, 20 Sep 2005 08:21:49 +0200 haftmann slight adaptions to library changes
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Wed, 25 Feb 1998 20:29:58 +0100 oheimb renamed rep_claset to rep_cs
Fri, 19 Dec 1997 10:13:47 +0100 wenzelm adapted to new sort function;
Mon, 29 Jan 1996 13:58:15 +0100 clasohm expanded tabs
Tue, 12 Jul 1994 18:30:53 +0200 lcp chain_tac: deleted; just use etac mp
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip