COPYRIGHT
changeset 17547 b0d70cf4ed18
parent 14981 e73f8140af78
child 24798 d04aaadfd7ae
     1.1 --- a/COPYRIGHT	Wed Sep 21 11:50:20 2005 +0200
     1.2 +++ b/COPYRIGHT	Wed Sep 21 11:50:38 2005 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (c) 2004,
     1.7 +Copyright (c) 2005,
     1.8    University of Cambridge and
     1.9    Technische Universitaet Muenchen.
    1.10