diff -r a3cfe0e27deb -r dda08b76fa99 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Apr 07 23:25:50 2009 +0200
+++ b/CONTRIBUTORS	Wed Apr 08 16:35:03 2009 +0200
@@ -11,6 +11,10 @@
   Cambridge
   Elementary topology in Euclidean space.
 
+* March 2009: Johannes Hoelzl, TUM
+  Method "approximation", which proves real valued inequalities by
+  computation.
+
 * February 2009: Filip Maric, Univ. of Belgrade
   A Serbian theory.