| 2010-03-13 | wenzelm | 2010-03-13 | removed old CVS Ids; tuned headers; | file | diff | annotate |
| 2006-11-17 | wenzelm | 2006-11-17 | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| 2006-06-02 | wenzelm | 2006-06-02 | tuned; | file | diff | annotate |
| 2006-06-02 | wenzelm | 2006-06-02 | removed obsolete ML files; | file | diff | annotate |
| 2005-09-16 | wenzelm | 2005-09-16 | converted to Isar theory format; | file | diff | annotate |
| 1997-10-10 | wenzelm | 1997-10-10 | fixed dots; | file | diff | annotate |
| 1996-02-05 | clasohm | 1996-02-05 | expanded tabs | file | diff | annotate |
| 1993-09-16 | clasohm | 1993-09-16 | Initial revision | file | diff | annotate |