--- a/CONTRIBUTORS Sat Nov 21 20:44:16 2009 +0100
+++ b/CONTRIBUTORS Sun Nov 22 14:13:18 2009 +0100
@@ -4,23 +4,24 @@
distribution.
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2009-1
+-------------------------------
* November 2009: Robert Himmelmann, TUM
Derivation and Brouwer's fixpoint theorem in Multivariate Analysis
-* November 2009: Stefan Berghofer, Lukas Bulwahn, TUM
- A tabled implementation of the reflexive transitive closure
+* November 2009: Stefan Berghofer and Lukas Bulwahn, TUM
+ A tabled implementation of the reflexive transitive closure.
* November 2009: Lukas Bulwahn, TUM
- Predicate Compiler: a compiler for inductive predicates to equational specfications
+ Predicate Compiler: a compiler for inductive predicates to
+ equational specfications.
* November 2009: Sascha Boehme, TUM
- HOL-Boogie: an interactive prover back-end for Boogie and VCC
+ HOL-Boogie: an interactive prover back-end for Boogie and VCC.
* October 2009: Jasmin Blanchette, TUM
- Nitpick: yet another counterexample generator for Isabelle/HOL
+ Nitpick: yet another counterexample generator for Isabelle/HOL.
* October 2009: Sascha Boehme, TUM
Extension of SMT method: proof-reconstruction for the SMT solver Z3.