COPYRIGHT
2007-10-01 ago updated year to 2007;
2005-09-21 ago updated for Isabelle2005;
2004-06-21 ago Merged in license change from Isabelle2004
2003-06-19 ago inserted TUM in other places
2003-06-16 ago added TUM
1993-12-13 ago new year
1993-09-16 ago Initial revision