src/Tools/intuitionistic.ML
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2014-08-27 wenzelm 2014-08-27 more explicit Method.modifier with reported position;
2014-02-20 wenzelm 2014-02-20 tuned whitespace;
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;
2013-07-27 wenzelm 2013-07-27 standardized aliases;
2010-05-17 wenzelm 2010-05-17 prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; eliminated old-style structure aliases K = Keyword, P = Parse;
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2009-11-10 wenzelm 2009-11-10 eliminated some unused/obsolete Args.bang_facts;
2009-11-01 wenzelm 2009-11-01 modernized structure Context_Rules;
2009-10-21 haftmann 2009-10-21 dropped redundant gen_ prefix
2009-10-02 wenzelm 2009-10-02 eliminated dead code;
2009-05-30 wenzelm 2009-05-30 modernized method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-02-28 wenzelm 2009-02-28 moved generic intuitionistic prover to src/Tools/intuitionistic.ML;