diff -r 07371b92d382 -r b0d70cf4ed18 COPYRIGHT --- a/COPYRIGHT Wed Sep 21 11:50:20 2005 +0200 +++ b/COPYRIGHT Wed Sep 21 11:50:38 2005 +0200 @@ -1,6 +1,6 @@ ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. -Copyright (c) 2004, +Copyright (c) 2005, University of Cambridge and Technische Universitaet Muenchen.