CONTRIBUTORS
changeset 33010 39f73a59e855
parent 33005 bd8e15958708
child 33182 45f6afe0a979
child 33192 08a39a957ed7
     1.1 --- a/CONTRIBUTORS	Tue Oct 20 08:10:47 2009 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Oct 20 10:11:30 2009 +0200
     1.3 @@ -7,10 +7,13 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* Oktober 2009: Florian Haftmann, TUM
     1.8 +* October 2009: Sascha Boehme, TUM
     1.9 +  Extension of SMT method: proof-reconstruction for the SMT solver Z3
    1.10 +
    1.11 +* October 2009: Florian Haftmann, TUM
    1.12    Refinement of parts of the HOL datatype package
    1.13  
    1.14 -* Oktober 2009: Florian Haftmann, TUM
    1.15 +* October 2009: Florian Haftmann, TUM
    1.16    Generic term styles for term antiquotations
    1.17  
    1.18  * September 2009: Thomas Sewell, NICTA