| Sat, 30 May 2009 12:52:57 +0200 | wenzelm | modernized method setup; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Sat, 28 Feb 2009 14:52:21 +0100 | wenzelm | moved generic intuitionistic prover to src/Tools/intuitionistic.ML; | file | diff | annotate |