src/Tools/intuitionistic.ML
Sun, 07 Mar 2010 12:19:47 +0100 wenzelm modernized structure Object_Logic;
Tue, 10 Nov 2009 18:11:23 +0100 wenzelm eliminated some unused/obsolete Args.bang_facts;
Sun, 01 Nov 2009 15:44:26 +0100 wenzelm modernized structure Context_Rules;
Wed, 21 Oct 2009 08:14:38 +0200 haftmann dropped redundant gen_ prefix
Fri, 02 Oct 2009 22:15:08 +0200 wenzelm eliminated dead code;
Sat, 30 May 2009 12:52:57 +0200 wenzelm modernized method setup;
Fri, 13 Mar 2009 19:58:26 +0100 wenzelm unified type Proof.method and pervasive METHOD combinators;
Sat, 28 Feb 2009 14:52:21 +0100 wenzelm moved generic intuitionistic prover to src/Tools/intuitionistic.ML;
less more (0) tip