src/Tools/intuitionistic.ML
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;