--- a/CONTRIBUTORS Sat Dec 20 11:39:34 2008 +0100 +++ b/CONTRIBUTORS Sat Dec 20 11:55:34 2008 +0100 @@ -204,5 +204,3 @@ * 2004/2005: Tjark Weber, TUM SAT solver method using zChaff. Improved version of HOL/refute. - -$Id$