clarified who we consider to be a contributor
authorkleing
Thu Jun 14 09:54:14 2007 +0200 (2007-06-14)
changeset 233820459ab90389a
parent 23381 da53d861d106
child 23383 5460951833fa
clarified who we consider to be a contributor
CONTRIBUTORS
     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