| Fri, 13 Mar 2009 21:22:45 +0100 | wenzelm | pervasive types 'a parser and 'a context_parser; | changeset | files |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | changeset | files |
| Fri, 13 Mar 2009 19:53:09 +0100 | wenzelm | more regular method setup via SIMPLE_METHOD; | changeset | files |