CONTRIBUTORS
changeset 19470 3572af78f114
parent 17866 511c906c66a3
child 19650 33a94c5fc7bb
equal deleted inserted replaced
19469:958d2f2dd8d4 19470:3572af78f114
     2 Contributions to Isabelle
     2 Contributions to Isabelle
     3 -------------------------
     3 -------------------------
     4 
     4 
     5 * October 2005: Martin Wildmoser, TUM
     5 * October 2005: Martin Wildmoser, TUM
     6   Sketch for Isar 'guess' element.
     6   Sketch for Isar 'guess' element.
     7   
     7 
       
     8 * February 2006: Benjamin Porter, NICTA
       
     9   HOL and HOL-Complex: generalied mean value theorem, continuum is
       
    10   not denumerable, harmonic and arithmetic series, and denumerability
       
    11   of rationals.
     8 
    12 
     9 Contributions to Isabelle 2005
    13 Contributions to Isabelle 2005
    10 ------------------------------
    14 ------------------------------
    11 
    15 
    12 * September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM
    16 * September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM