CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Oct 26 12:23:59 2009 +0100
+++ b/CONTRIBUTORS	Mon Oct 26 14:21:20 2009 +0100
@@ -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.