CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Oct 22 14:45:20 2009 +0200
+++ b/CONTRIBUTORS	Thu Oct 22 14:51:47 2009 +0200
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2009: Jasmin Blanchette, TUM
+  Nitpick: yet another counterexample generator for Isabelle/HOL
+
 * October 2009: Sascha Boehme, TUM
   Extension of SMT method: proof-reconstruction for the SMT solver Z3