# HG changeset patch
# User wenzelm
# Date 1239786888 -7200
# Node ID bad26d8f0adf0bae98d0e45bd796efe83006d8d9
# Parent  49c14e3cdc4b50d550540431b793853f66f38135
updated for Isabelle2009;

diff -r 49c14e3cdc4b -r bad26d8f0adf COPYRIGHT
--- a/COPYRIGHT	Tue Apr 14 23:58:46 2009 +0200
+++ b/COPYRIGHT	Wed Apr 15 11:14:48 2009 +0200
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 2008,
+Copyright (c) 2009,
   University of Cambridge and
   Technische Universitaet Muenchen.