updated for Isabelle2009;
authorwenzelm
Wed Apr 15 11:14:48 2009 +0200 (2009-04-15)
changeset 30895bad26d8f0adf
parent 30894 49c14e3cdc4b
child 30896 ec3f33437fe3
child 30923 2697a1d1d34a
updated for Isabelle2009;
COPYRIGHT
     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