updated year to 2007;
authorwenzelm
Mon Oct 01 19:43:34 2007 +0200 (2007-10-01)
changeset 24798d04aaadfd7ae
parent 24797 3bc50959c7f0
child 24799 dff164b6f2a6
updated year to 2007;
COPYRIGHT
     1.1 --- a/COPYRIGHT	Mon Oct 01 19:42:40 2007 +0200
     1.2 +++ b/COPYRIGHT	Mon Oct 01 19:43:34 2007 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (c) 2005,
     1.7 +Copyright (c) 2007,
     1.8    University of Cambridge and
     1.9    Technische Universitaet Muenchen.
    1.10