src/FOLP/classical.ML
2015-09-25 wenzelm 2015-09-25 moved remaining display.ML to more_thm.ML;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-02-10 wenzelm 2015-02-10 proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
2014-11-10 wenzelm 2014-11-10 proper context for assume_tac (atac remains as fall-back without context);
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2011-05-14 wenzelm 2011-05-14 modernized functor names; tuned;
2011-04-20 wenzelm 2011-04-20 eliminated Display.string_of_thm_without_context; tuned whitespace;
2010-07-08 haftmann 2010-07-08 tuned titles
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2009-07-21 wenzelm 2009-07-21 proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
2008-05-17 wenzelm 2008-05-17 structure Display: less pervasive operations;
2005-09-20 haftmann 2005-09-20 slight adaptions to library changes
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
1998-02-25 oheimb 1998-02-25 renamed rep_claset to rep_cs
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1996-01-29 clasohm 1996-01-29 expanded tabs
1994-07-12 lcp 1994-07-12 chain_tac: deleted; just use etac mp
1993-09-16 clasohm 1993-09-16 Initial revision