COPYRIGHT
4 months ago wenzelm 2017-08-21 misc updates for release;
2015-12-31 wenzelm 2015-12-31 misc updates for release;
2015-04-08 wenzelm 2015-04-08 misc tuning for release;
2014-05-08 wenzelm 2014-05-08 update for release;
2012-12-31 wenzelm 2012-12-31 updated for release;
2012-04-14 wenzelm 2012-04-14 some updates for release;
2011-01-07 wenzelm 2011-01-07 updated for 2011; emphasize "contributors" in the header as well, which are already mentioned in the body text;
2010-05-28 wenzelm 2010-05-28 some updates for release;
2009-04-15 wenzelm 2009-04-15 updated for Isabelle2009;
2008-06-20 wenzelm 2008-06-20 updated for 2008; proper name of TUM;
2007-10-01 wenzelm 2007-10-01 updated year to 2007;
2005-09-21 wenzelm 2005-09-21 updated for Isabelle2005;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-06-19 paulson 2003-06-19 inserted TUM in other places
2003-06-16 paulson 2003-06-16 added TUM
1993-12-13 lcp 1993-12-13 new year
1993-09-16 clasohm 1993-09-16 Initial revision