changeset 33203 | 322d928d9f8f |
parent 33182 | 45f6afe0a979 |
parent 33192 | 08a39a957ed7 |
child 33408 | 8ae45e87b992 |
1.1 --- a/CONTRIBUTORS Mon Oct 26 12:23:59 2009 +0100 1.2 +++ b/CONTRIBUTORS Mon Oct 26 14:21:20 2009 +0100 1.3 @@ -7,6 +7,9 @@ 1.4 Contributions to this Isabelle version 1.5 -------------------------------------- 1.6 1.7 +* October 2009: Jasmin Blanchette, TUM 1.8 + Nitpick: yet another counterexample generator for Isabelle/HOL 1.9 + 1.10 * October 2009: Sascha Boehme, TUM 1.11 Extension of SMT method: proof-reconstruction for the SMT solver Z3. 1.12