| 2010-03-13 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| 2009-03-16 | wenzelm | simplified method setup; | file | diff | annotate |
| 2009-03-13 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| 2006-11-29 | wenzelm | tuned spaces/comments; | file | diff | annotate |
| 2006-11-20 | wenzelm | converted legacy ML scripts; | file | diff | annotate |
| 2005-09-18 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| 1996-10-09 | paulson | New unified treatment of sequent calculi by Sara Kalvala | file | diff | annotate |