CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Sep 18 14:40:24 2009 +0200
+++ b/CONTRIBUTORS	Fri Sep 18 18:13:19 2009 +0200
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* September 2009: Sascha Boehme, TUM
+  SMT method using external SMT solvers
+
 * September 2009: Florian Haftmann, TUM
   Refinement of Sets and Lattices