src/Tools/intuitionistic.ML
2010-05-17 wenzelm prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
2010-03-07 wenzelm modernized structure Object_Logic;
2009-11-10 wenzelm eliminated some unused/obsolete Args.bang_facts;
2009-11-01 wenzelm modernized structure Context_Rules;
2009-10-21 haftmann dropped redundant gen_ prefix
2009-10-02 wenzelm eliminated dead code;
2009-05-30 wenzelm modernized method setup;
2009-03-13 wenzelm unified type Proof.method and pervasive METHOD combinators;
2009-02-28 wenzelm moved generic intuitionistic prover to src/Tools/intuitionistic.ML;
less more (0) tip