COPYRIGHT
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