CONTRIBUTORS
changeset 33192 08a39a957ed7
parent 33010 39f73a59e855
child 33203 322d928d9f8f
     1.1 --- a/CONTRIBUTORS	Thu Oct 22 14:45:20 2009 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Oct 22 14:51:47 2009 +0200
     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