# HG changeset patch
# User wenzelm
# Date 1127672650 -7200
# Node ID dca023dd6d3cfbad511dd887a301e2682cfac9eb
# Parent  50878db27b9497e030e2d286bc5a33b1a4aadc45
more;

diff -r 50878db27b94 -r dca023dd6d3c CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Sep 25 20:19:31 2005 +0200
+++ b/CONTRIBUTORS	Sun Sep 25 20:24:10 2005 +0200
@@ -2,6 +2,12 @@
 Contributions to Isabelle 2005
 ------------------------------
 
+* September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM
+  HOL-Complex: Formalization of Taylor series.
+
+* September 2005: Stephan Merz, Alwen Tiu, QSL Loria
+  Components for SAT solver method using zChaff.
+
 * September 2005: Ning Zhang and Christian Urban, LMU Munich
   A Chinese theory.
 
@@ -67,6 +73,7 @@
   Some internal ML reorganizations.
 
 * 2004/2005: Tjark Weber, TUM
+  SAT solver method using zChaff.
   Improved version of HOL/refute.
 
 $Id$