# HG changeset patch
# User wenzelm
# Date 1147777537 -7200
# Node ID 33a94c5fc7bb212acf2f8c26359cbefea8a045de
# Parent  c887656778bc541f1e258adcd27255e9b0a89990
Amine Chaieb: Ferrante and Rackoff Algorithm;

diff -r c887656778bc -r 33a94c5fc7bb CONTRIBUTORS
--- a/CONTRIBUTORS	Tue May 16 13:05:14 2006 +0200
+++ b/CONTRIBUTORS	Tue May 16 13:05:37 2006 +0200
@@ -2,14 +2,19 @@
 Contributions to Isabelle
 -------------------------
 
-* October 2005: Martin Wildmoser, TUM
-  Sketch for Isar 'guess' element.
+* May 2006: Amine Chaieb, TUM
+  HOL-Complex: Ferrante and Rackoff Algorithm for linear real
+  arithmetic.
 
 * February 2006: Benjamin Porter, NICTA
   HOL and HOL-Complex: generalied mean value theorem, continuum is
   not denumerable, harmonic and arithmetic series, and denumerability
   of rationals.
 
+* October 2005: Martin Wildmoser, TUM
+  Sketch for Isar 'guess' element.
+
+
 Contributions to Isabelle 2005
 ------------------------------