COPYRIGHT
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