| 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 |
| Fri, 13 Mar 2009 15:50:06 +0100 | wenzelm | provide regular ML interfaces for Isar source language elements; | file | diff | annotate |