src/FOL/intprover.ML
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2013-04-27 wenzelm 2013-04-27 uniform Proof.context for hyp_subst_tac;
2010-08-17 haftmann 2010-08-17 more antiquotations
2009-08-29 wenzelm 2009-08-29 eliminated hard tabs;
2009-07-09 wenzelm 2009-07-09 removed obsolete CVS Ids;
2006-11-26 wenzelm 2006-11-26 converted legacy ML scripts;
2005-09-20 haftmann 2005-09-20 slight adaptions to library changes
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
1998-07-27 paulson 1998-07-27 A little quantifier duplication for IFOL
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-02-10 paulson 1997-02-10 Renamed structure Int (intuitionistic prover) to IntPr to prevent clash with Basis Library structure Int
1997-01-31 paulson 1997-01-31 ex_impE was incorrectly listed as Safe
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-04-06 lcp 1995-04-06 Updated comments.
1994-11-11 lcp 1994-11-11 FOL/intprover/safe_tac: now uses REPEAT_DETERM_FIRST instead of REPEAT_DETERM
1993-09-16 clasohm 1993-09-16 Initial revision