| 2014-11-02 | wenzelm | 2014-11-02 | modernized header uniformly as section; | file | diff | annotate |
| 2009-07-23 | wenzelm | 2009-07-23 | misc modernization: proper method setup instead of adhoc ML proofs; | file | diff | annotate |
| 2006-11-17 | wenzelm | 2006-11-17 | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| 2006-07-18 | wenzelm | 2006-07-18 | removed obsolete ML files; | file | diff | annotate |
| 2005-09-17 | wenzelm | 2005-09-17 | converted to Isar theory format; | 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 |