| 2011-03-20 | wenzelm | 2011-03-20 | modernized specifications; | file | diff | annotate |
| 2010-02-24 | wenzelm | 2010-02-24 | observe standard convention for syntax consts; | file | diff | annotate |
| 2010-02-23 | haftmann | 2010-02-23 | dropped axclass, going back to purely syntactic type classes | file | diff | annotate |
| 2010-02-11 | wenzelm | 2010-02-11 | modernized syntax/translations; tuned headers; | file | diff | annotate |
| 2006-12-02 | wenzelm | 2006-12-02 | TLA: converted legacy ML scripts; | file | diff | annotate |
| 2005-09-07 | wenzelm | 2005-09-07 | converted to Isar theory format; | file | diff | annotate |
| 2001-12-29 | wenzelm | 2001-12-29 | update by Stephan Merz; | file | diff | annotate |
| 2001-12-01 | wenzelm | 2001-12-01 | renamed class "term" to "type" (actually "HOL.type"); | file | diff | annotate |
| 2001-10-05 | wenzelm | 2001-10-05 | tuned; | file | diff | annotate |
| 1999-02-08 | wenzelm | 1999-02-08 | updated (Stephan Merz); | file | diff | annotate |
| 1997-10-08 | wenzelm | 1997-10-08 | A formalization of TLA in HOL -- by Stephan Merz; | file | diff | annotate |