CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Feb 27 19:19:39 2009 +0100
+++ b/CONTRIBUTORS	Fri Feb 27 20:00:54 2009 +0100
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* February 2008: Jasmin Christian Blanchette, TUM
+  Misc cleanup of HOL/refute.
+
 * February 2008: Timothy Bourke, NICTA
   New find_consts command.