src/Pure/raw_simplifier.ML
2012-02-27 wenzelm 2012-02-27 eliminated odd comment from distant past;
2012-02-14 wenzelm 2012-02-14 tuned signature;
2012-02-14 wenzelm 2012-02-14 eliminated unused rewrite_goal_rule;
2012-02-14 wenzelm 2012-02-14 eliminated obsolete aliases;
2012-01-11 wenzelm 2012-01-11 more qualified names; more antiquotations;
2011-11-24 wenzelm 2011-11-24 modernized some old-style infix operations, which were left over from the time of ML proof scripts;
2011-11-23 wenzelm 2011-11-23 tuned;
2011-11-23 wenzelm 2011-11-23 modernized some old-style infix operations, which were left over from the time of ML proof scripts;
2011-11-08 wenzelm 2011-11-08 eliminated obsolete tuning (NB: Thm.eta_conversion/Envir.eta_contract based on Same.operation);
2011-10-28 wenzelm 2011-10-28 tuned signature -- refined terminology;
2011-08-08 wenzelm 2011-08-08 misc tuning -- eliminated old-fashioned rep_thm;
2011-06-29 wenzelm 2011-06-29 tuned signature;
2011-06-29 wenzelm 2011-06-29 simplified/unified Simplifier.mk_solver;
2011-06-09 wenzelm 2011-06-09 simplified Name.variant -- discontinued builtin fold_map;
2011-04-22 wenzelm 2011-04-22 tuned signature;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-04-08 wenzelm 2011-04-08 explicit structure Syntax_Trans; discontinued old-style constrainAbsC;
2011-01-08 wenzelm 2011-01-08 tuned;
2010-12-17 wenzelm 2010-12-17 renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;