| Fri, 13 Mar 2009 21:24:21 +0100 | wenzelm | added simplified setup; | changeset | files |
| 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 |