| 2009-04-15 | wenzelm | 2009-04-15 | updated for Isabelle2009; | file | diff | annotate |
| 2008-06-20 | wenzelm | 2008-06-20 | updated for 2008; proper name of TUM; | file | diff | annotate |
| 2007-10-01 | wenzelm | 2007-10-01 | updated year to 2007; | file | diff | annotate |
| 2005-09-21 | wenzelm | 2005-09-21 | updated for Isabelle2005; | file | diff | annotate |
| 2004-06-21 | kleing | 2004-06-21 | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2003-06-19 | paulson | 2003-06-19 | inserted TUM in other places | file | diff | annotate |
| 2003-06-16 | paulson | 2003-06-16 | added TUM | file | diff | annotate |
| 1993-12-13 | lcp | 1993-12-13 | new year | file | diff | annotate |
| 1993-09-16 | clasohm | 1993-09-16 | Initial revision | file | diff | annotate |