| Fri, 13 Mar 2009 23:50:05 +0100 | wenzelm | simplified 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:09:58 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 14 Jul 2008 17:02:55 +0200 | krauss | renamed conversions to _conv, tuned | file | diff | annotate |
| Tue, 08 Apr 2008 20:09:54 +0200 | krauss | added missing file | file | diff | annotate |