CONTRIBUTORS
changeset 19470 3572af78f114
parent 17866 511c906c66a3
child 19650 33a94c5fc7bb
     1.1 --- a/CONTRIBUTORS	Wed Apr 26 07:01:33 2006 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Apr 26 07:02:04 2006 +0200
     1.3 @@ -4,7 +4,11 @@
     1.4  
     1.5  * October 2005: Martin Wildmoser, TUM
     1.6    Sketch for Isar 'guess' element.
     1.7 -  
     1.8 +
     1.9 +* February 2006: Benjamin Porter, NICTA
    1.10 +  HOL and HOL-Complex: generalied mean value theorem, continuum is
    1.11 +  not denumerable, harmonic and arithmetic series, and denumerability
    1.12 +  of rationals.
    1.13  
    1.14  Contributions to Isabelle 2005
    1.15  ------------------------------