CONTRIBUTORS
changeset 17640 dca023dd6d3c
parent 17572 81fcc0029761
child 17866 511c906c66a3
equal deleted inserted replaced
17639:50878db27b94 17640:dca023dd6d3c
     1 
     1 
     2 Contributions to Isabelle 2005
     2 Contributions to Isabelle 2005
     3 ------------------------------
     3 ------------------------------
       
     4 
       
     5 * September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM
       
     6   HOL-Complex: Formalization of Taylor series.
       
     7 
       
     8 * September 2005: Stephan Merz, Alwen Tiu, QSL Loria
       
     9   Components for SAT solver method using zChaff.
     4 
    10 
     5 * September 2005: Ning Zhang and Christian Urban, LMU Munich
    11 * September 2005: Ning Zhang and Christian Urban, LMU Munich
     6   A Chinese theory.
    12   A Chinese theory.
     7 
    13 
     8 * September 2005: Bernhard Haeupler, TUM
    14 * September 2005: Bernhard Haeupler, TUM
    65 * 2004/2005: Sebastian Skalberg, TUM
    71 * 2004/2005: Sebastian Skalberg, TUM
    66   Improved version of HOL/Import.
    72   Improved version of HOL/Import.
    67   Some internal ML reorganizations.
    73   Some internal ML reorganizations.
    68 
    74 
    69 * 2004/2005: Tjark Weber, TUM
    75 * 2004/2005: Tjark Weber, TUM
       
    76   SAT solver method using zChaff.
    70   Improved version of HOL/refute.
    77   Improved version of HOL/refute.
    71 
    78 
    72 $Id$
    79 $Id$