COPYRIGHT
changeset 37159 07f3f5a03e98
parent 30895 bad26d8f0adf
child 41442 4cfb51a5a444
     1.1 --- a/COPYRIGHT	Thu May 27 21:37:42 2010 +0200
     1.2 +++ b/COPYRIGHT	Fri May 28 11:23:34 2010 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (c) 2009,
     1.7 +Copyright (c) 2010,
     1.8    University of Cambridge and
     1.9    Technische Universitaet Muenchen.
    1.10