2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or |
2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or |
3 who is listed as an author in one of the source files of this Isabelle |
3 who is listed as an author in one of the source files of this Isabelle |
4 distribution. |
4 distribution. |
5 |
5 |
6 |
6 |
7 Contributions to this Isabelle version |
7 Contributions to Isabelle2009-1 |
8 -------------------------------------- |
8 ------------------------------- |
9 |
9 |
10 * November 2009: Robert Himmelmann, TUM |
10 * November 2009: Robert Himmelmann, TUM |
11 Derivation and Brouwer's fixpoint theorem in Multivariate Analysis |
11 Derivation and Brouwer's fixpoint theorem in Multivariate Analysis |
12 |
12 |
13 * November 2009: Stefan Berghofer, Lukas Bulwahn, TUM |
13 * November 2009: Stefan Berghofer and Lukas Bulwahn, TUM |
14 A tabled implementation of the reflexive transitive closure |
14 A tabled implementation of the reflexive transitive closure. |
15 |
15 |
16 * November 2009: Lukas Bulwahn, TUM |
16 * November 2009: Lukas Bulwahn, TUM |
17 Predicate Compiler: a compiler for inductive predicates to equational specfications |
17 Predicate Compiler: a compiler for inductive predicates to |
|
18 equational specfications. |
18 |
19 |
19 * November 2009: Sascha Boehme, TUM |
20 * November 2009: Sascha Boehme, TUM |
20 HOL-Boogie: an interactive prover back-end for Boogie and VCC |
21 HOL-Boogie: an interactive prover back-end for Boogie and VCC. |
21 |
22 |
22 * October 2009: Jasmin Blanchette, TUM |
23 * October 2009: Jasmin Blanchette, TUM |
23 Nitpick: yet another counterexample generator for Isabelle/HOL |
24 Nitpick: yet another counterexample generator for Isabelle/HOL. |
24 |
25 |
25 * October 2009: Sascha Boehme, TUM |
26 * October 2009: Sascha Boehme, TUM |
26 Extension of SMT method: proof-reconstruction for the SMT solver Z3. |
27 Extension of SMT method: proof-reconstruction for the SMT solver Z3. |
27 |
28 |
28 * October 2009: Florian Haftmann, TUM |
29 * October 2009: Florian Haftmann, TUM |