src/CTT/rew.ML
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);
2010-09-06 wenzelm 2010-09-06 more antiquotations;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2006-06-02 wenzelm 2006-06-02 removed obsolete ML files;
2005-09-20 haftmann 2005-09-20 slight adaptions to library changes
1996-01-29 clasohm 1996-01-29 expanded tabs
1993-09-16 clasohm 1993-09-16 Initial revision