src/Pure/raw_simplifier.ML
2013-04-04 nipkow 2013-04-04 removed unnerving (esp in jedit) and pointless warning
2013-03-30 wenzelm 2013-03-30 amended uncond_skel to observe notion of cong_name properly -- may affect simplification with Free congs;
2013-03-30 wenzelm 2013-03-30 more formal cong_name;
2012-09-29 wenzelm 2012-09-29 more explicit Syntax_Trans.mark_bound_abs/mark_bound_body: preserve type information for show_markup;
2012-08-29 wenzelm 2012-08-29 renamed Position.str_of to Position.here;
2012-03-31 wenzelm 2012-03-31 tuned signature;
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;