COPYRIGHT
2010-05-28 wenzelm some updates for release;
2009-04-15 wenzelm updated for Isabelle2009;
2008-06-20 wenzelm updated for 2008;
2007-10-01 wenzelm updated year to 2007;
2005-09-21 wenzelm updated for Isabelle2005;
2004-06-21 kleing Merged in license change from Isabelle2004
2003-06-19 paulson inserted TUM in other places
2003-06-16 paulson added TUM
1993-12-13 lcp new year
1993-09-16 clasohm Initial revision
less more (0) tip