changeset 41442 | 4cfb51a5a444 |
parent 37159 | 07f3f5a03e98 |
child 47462 | 8f85051693d1 |
--- a/COPYRIGHT Fri Jan 07 13:24:09 2011 +0100 +++ b/COPYRIGHT Fri Jan 07 14:36:41 2011 +0100 @@ -1,8 +1,9 @@ ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. -Copyright (c) 2010, - University of Cambridge and - Technische Universitaet Muenchen. +Copyright (c) 2011, + University of Cambridge, + Technische Universitaet Muenchen, + and contributors. All rights reserved.