CONTRIBUTORS
changeset 33842 efa1b89c79e0
parent 33759 b369324fc244
child 33843 23d09560d56d
     1.1 --- a/CONTRIBUTORS	Sat Nov 21 20:44:16 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Sun Nov 22 14:13:18 2009 +0100
     1.3 @@ -4,23 +4,24 @@
     1.4  distribution.
     1.5  
     1.6  
     1.7 -Contributions to this Isabelle version
     1.8 ---------------------------------------
     1.9 +Contributions to Isabelle2009-1
    1.10 +-------------------------------
    1.11  
    1.12  * November 2009: Robert Himmelmann, TUM
    1.13    Derivation and Brouwer's fixpoint theorem in Multivariate Analysis
    1.14  
    1.15 -* November 2009: Stefan Berghofer, Lukas Bulwahn, TUM
    1.16 -  A tabled implementation of the reflexive transitive closure
    1.17 +* November 2009: Stefan Berghofer and Lukas Bulwahn, TUM
    1.18 +  A tabled implementation of the reflexive transitive closure.
    1.19  
    1.20  * November 2009: Lukas Bulwahn, TUM
    1.21 -  Predicate Compiler: a compiler for inductive predicates to equational specfications
    1.22 +  Predicate Compiler: a compiler for inductive predicates to
    1.23 +  equational specfications.
    1.24   
    1.25  * November 2009: Sascha Boehme, TUM
    1.26 -  HOL-Boogie: an interactive prover back-end for Boogie and VCC
    1.27 +  HOL-Boogie: an interactive prover back-end for Boogie and VCC.
    1.28  
    1.29  * October 2009: Jasmin Blanchette, TUM
    1.30 -  Nitpick: yet another counterexample generator for Isabelle/HOL
    1.31 +  Nitpick: yet another counterexample generator for Isabelle/HOL.
    1.32  
    1.33  * October 2009: Sascha Boehme, TUM
    1.34    Extension of SMT method: proof-reconstruction for the SMT solver Z3.