src/FOLP/intprover.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);
Wed, 26 Jun 2013 18:38:03 +0200 wenzelm SOMEthing went utterly wrong;
Sat, 13 Mar 2010 16:44:12 +0100 wenzelm removed old CVS Ids;
Tue, 18 Mar 2008 22:19:18 +0100 wenzelm converted legacy ML scripts;
Sat, 15 Sep 2007 19:27:35 +0200 haftmann fixed title
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.
Thu, 06 Jul 2000 13:11:32 +0200 paulson removal of batch style, and tidying
Fri, 19 Dec 1997 10:13:47 +0100 wenzelm adapted to new sort function;
Mon, 10 Feb 1997 12:52:11 +0100 paulson Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
Fri, 31 Jan 1997 17:13:19 +0100 paulson ex_impE was incorrectly listed as Safe
Tue, 30 Jan 1996 15:12:53 +0100 clasohm expanded tabs
Mon, 29 Jan 1996 13:58:15 +0100 clasohm expanded tabs
less more (0) tip