CONTRIBUTORS
changeset 32268 d50f0cb67578
parent 31997 de0d280c31a7
child 32600 1b3b0cc604ce
     1.1 --- a/CONTRIBUTORS	Fri Jul 24 11:31:22 2009 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Jul 24 13:56:02 2009 +0200
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* July 2009: Philipp Meyer, TUM
     1.8 +  HOL/Library/Sum_of_Squares: functionality to call a remote csdp prover
     1.9 +
    1.10  * July 2009: Florian Haftmann, TUM
    1.11    New quickcheck implementation using new code generator
    1.12  
    1.13 @@ -19,6 +22,9 @@
    1.14  * June 2009: Florian Haftmann, TUM
    1.15    HOL/Library/Tree: searchtrees implementing mappings, ready to use for code generation
    1.16  
    1.17 +* March 2009: Philipp Meyer, TUM
    1.18 +  minimalization algorithm for results from sledgehammer call
    1.19 +
    1.20  Contributions to Isabelle2009
    1.21  -----------------------------
    1.22