| 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:42:54 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Sat, 28 Feb 2009 14:02:12 +0100 | wenzelm | moved some generic tools to src/Tools/ -- src/Provers is essentially obsolete; | file | diff | annotate | base |