# HG changeset patch
# User kleing
# Date 1181807654 -7200
# Node ID 0459ab90389a475f1af5752aa33395eba01ffbad
# Parent  da53d861d1069e7df2adf2fccbc33046a33c3037
clarified who we consider to be a contributor

diff -r da53d861d106 -r 0459ab90389a CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Jun 14 09:37:38 2007 +0200
+++ b/CONTRIBUTORS	Thu Jun 14 09:54:14 2007 +0200
@@ -1,3 +1,8 @@
+For the purposes of the license agreement in the file COPYRIGHT, a 
+'contributor' is anybody who is listed in this file (CONTRIBUTORS) or 
+who is listed as an author in one of the source files of this Isabelle
+distribution.
+
 
 Contributions to Isabelle 2007
 ------------------------------
@@ -30,7 +35,7 @@
   arithmetic.
 
 * February 2006: Benjamin Porter, NICTA
-  HOL and HOL-Complex: generalied mean value theorem, continuum is
+  HOL and HOL-Complex: generalised mean value theorem, continuum is
   not denumerable, harmonic and arithmetic series, and denumerability
   of rationals.