changeset 30895 | bad26d8f0adf |
parent 27306 | 0609faccb903 |
child 37159 | 07f3f5a03e98 |
1.1 --- a/COPYRIGHT Tue Apr 14 23:58:46 2009 +0200 1.2 +++ b/COPYRIGHT Wed Apr 15 11:14:48 2009 +0200 1.3 @@ -1,6 +1,6 @@ 1.4 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. 1.5 1.6 -Copyright (c) 2008, 1.7 +Copyright (c) 2009, 1.8 University of Cambridge and 1.9 Technische Universitaet Muenchen. 1.10