Amine Chaieb: Ferrante and Rackoff Algorithm;
authorwenzelm
Tue May 16 13:05:37 2006 +0200 (2006-05-16)
changeset 1965033a94c5fc7bb
parent 19649 c887656778bc
child 19651 247ca17caddd
Amine Chaieb: Ferrante and Rackoff Algorithm;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Tue May 16 13:05:14 2006 +0200
     1.2 +++ b/CONTRIBUTORS	Tue May 16 13:05:37 2006 +0200
     1.3 @@ -2,14 +2,19 @@
     1.4  Contributions to Isabelle
     1.5  -------------------------
     1.6  
     1.7 -* October 2005: Martin Wildmoser, TUM
     1.8 -  Sketch for Isar 'guess' element.
     1.9 +* May 2006: Amine Chaieb, TUM
    1.10 +  HOL-Complex: Ferrante and Rackoff Algorithm for linear real
    1.11 +  arithmetic.
    1.12  
    1.13  * February 2006: Benjamin Porter, NICTA
    1.14    HOL and HOL-Complex: generalied mean value theorem, continuum is
    1.15    not denumerable, harmonic and arithmetic series, and denumerability
    1.16    of rationals.
    1.17  
    1.18 +* October 2005: Martin Wildmoser, TUM
    1.19 +  Sketch for Isar 'guess' element.
    1.20 +
    1.21 +
    1.22  Contributions to Isabelle 2005
    1.23  ------------------------------
    1.24