COPYRIGHT
13 months ago ago updated for release;
23 months ago ago misc updates for release;
2015-12-31 ago misc updates for release;
2015-04-08 ago misc tuning for release;
2014-05-08 ago update for release;
2012-12-31 ago updated for release;
2012-04-14 ago some updates for release;
2011-01-07 ago updated for 2011;
2010-05-28 ago some updates for release;
2009-04-15 ago updated for Isabelle2009;
2008-06-20 ago updated for 2008;
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