CONTRIBUTORS
changeset 19650 33a94c5fc7bb
parent 19470 3572af78f114
child 19896 286d950883bc
equal deleted inserted replaced
19649:c887656778bc 19650:33a94c5fc7bb
     1 
     1 
     2 Contributions to Isabelle
     2 Contributions to Isabelle
     3 -------------------------
     3 -------------------------
     4 
     4 
     5 * October 2005: Martin Wildmoser, TUM
     5 * May 2006: Amine Chaieb, TUM
     6   Sketch for Isar 'guess' element.
     6   HOL-Complex: Ferrante and Rackoff Algorithm for linear real
       
     7   arithmetic.
     7 
     8 
     8 * February 2006: Benjamin Porter, NICTA
     9 * February 2006: Benjamin Porter, NICTA
     9   HOL and HOL-Complex: generalied mean value theorem, continuum is
    10   HOL and HOL-Complex: generalied mean value theorem, continuum is
    10   not denumerable, harmonic and arithmetic series, and denumerability
    11   not denumerable, harmonic and arithmetic series, and denumerability
    11   of rationals.
    12   of rationals.
       
    13 
       
    14 * October 2005: Martin Wildmoser, TUM
       
    15   Sketch for Isar 'guess' element.
       
    16 
    12 
    17 
    13 Contributions to Isabelle 2005
    18 Contributions to Isabelle 2005
    14 ------------------------------
    19 ------------------------------
    15 
    20 
    16 * September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM
    21 * September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM