added Ben Porter's stuff
authorkleing
Wed Apr 26 07:02:04 2006 +0200 (2006-04-26)
changeset 194703572af78f114
parent 19469 958d2f2dd8d4
child 19471 0fab37327f91
added Ben Porter's stuff
CONTRIBUTORS
     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  ------------------------------