CONTRIBUTORS
changeset 23382 0459ab90389a
parent 23252 67268bb40b21
child 23449 dd874e6a3282
     1.1 --- a/CONTRIBUTORS	Thu Jun 14 09:37:38 2007 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Jun 14 09:54:14 2007 +0200
     1.3 @@ -1,3 +1,8 @@
     1.4 +For the purposes of the license agreement in the file COPYRIGHT, a 
     1.5 +'contributor' is anybody who is listed in this file (CONTRIBUTORS) or 
     1.6 +who is listed as an author in one of the source files of this Isabelle
     1.7 +distribution.
     1.8 +
     1.9  
    1.10  Contributions to Isabelle 2007
    1.11  ------------------------------
    1.12 @@ -30,7 +35,7 @@
    1.13    arithmetic.
    1.14  
    1.15  * February 2006: Benjamin Porter, NICTA
    1.16 -  HOL and HOL-Complex: generalied mean value theorem, continuum is
    1.17 +  HOL and HOL-Complex: generalised mean value theorem, continuum is
    1.18    not denumerable, harmonic and arithmetic series, and denumerability
    1.19    of rationals.
    1.20