src/HOL/Tools/cnf.ML
2015-07-08 wenzelm 2015-07-08 clarified context;
2015-03-06 wenzelm 2015-03-06 clarified context;
2015-03-06 wenzelm 2015-03-06 Thm.cterm_of and Thm.ctyp_of operate on local context;
2015-03-04 wenzelm 2015-03-04 tuned signature -- prefer qualified names;
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-10-30 wenzelm 2014-10-30 eliminated aliases;
2014-04-10 wenzelm 2014-04-10 tuned;
2014-02-01 wenzelm 2014-02-01 more standard file/module names;