diff -r b2be328e00c3 -r 06e31ac55dd1 COPYRIGHT
--- a/COPYRIGHT	Fri Dec 10 13:46:38 1993 +0100
+++ b/COPYRIGHT	Mon Dec 13 18:18:34 1993 +0100
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (C) 1992 by the University of Cambridge, Cambridge, England.
+Copyright (C) 1993 by the University of Cambridge, Cambridge, England.
 
 Permission to use, copy, modify, and distribute this software and its
 documentation for any non-commercial purpose and without fee is hereby