CONTRIBUTORS
changeset 17640 dca023dd6d3c
parent 17572 81fcc0029761
child 17866 511c906c66a3
     1.1 --- a/CONTRIBUTORS	Sun Sep 25 20:19:31 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Sun Sep 25 20:24:10 2005 +0200
     1.3 @@ -2,6 +2,12 @@
     1.4  Contributions to Isabelle 2005
     1.5  ------------------------------
     1.6  
     1.7 +* September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM
     1.8 +  HOL-Complex: Formalization of Taylor series.
     1.9 +
    1.10 +* September 2005: Stephan Merz, Alwen Tiu, QSL Loria
    1.11 +  Components for SAT solver method using zChaff.
    1.12 +
    1.13  * September 2005: Ning Zhang and Christian Urban, LMU Munich
    1.14    A Chinese theory.
    1.15  
    1.16 @@ -67,6 +73,7 @@
    1.17    Some internal ML reorganizations.
    1.18  
    1.19  * 2004/2005: Tjark Weber, TUM
    1.20 +  SAT solver method using zChaff.
    1.21    Improved version of HOL/refute.
    1.22  
    1.23  $Id$