src/Tools/atomize_elim.ML
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 modernized module name and setup;
2013-12-14 wenzelm 2013-12-14 proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; clarified tool context in some boundary cases;
2011-10-28 wenzelm 2011-10-28 tuned Named_Thms: proper binding;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-03-24 wenzelm 2011-03-24 added Term.is_open and Term.is_dependent convenience, to cover common situations of loose bounds;
2010-12-17 wenzelm 2010-12-17 renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2009-10-21 haftmann 2009-10-21 removed old-style \ and \\ infixes
2009-10-20 wenzelm 2009-10-20 uniform use of Integer.min/max;
2009-10-19 wenzelm 2009-10-19 uniform use of Integer.add/mult/sum/prod;
2009-07-02 wenzelm 2009-07-02 renamed NamedThmsFun to Named_Thms; simplified/unified names of instances of Named_Thms;
2009-03-13 wenzelm 2009-03-13 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-02-28 wenzelm 2009-02-28 removed Ids;
2008-07-14 krauss 2008-07-14 renamed conversions to _conv, tuned
2008-04-08 krauss 2008-04-08 added missing file