# HG changeset patch
# User wenzelm
# Date 1235761254 -3600
# Node ID 9193a48d3f95ec6f663419d8310b016181c2b054
# Parent  051d3825a15d25e86e76b650b2c8066993d8bb82
more CONTRIBUTORS;

diff -r 051d3825a15d -r 9193a48d3f95 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.