1.1 --- a/COPYRIGHT	Fri Dec 10 13:46:38 1993 +0100
     1.2 +++ b/COPYRIGHT	Mon Dec 13 18:18:34 1993 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (C) 1992 by the University of Cambridge, Cambridge, England.
     1.7 +Copyright (C) 1993 by the University of Cambridge, Cambridge, England.
     1.8  
     1.9  Permission to use, copy, modify, and distribute this software and its
    1.10  documentation for any non-commercial purpose and without fee is hereby