--- a/CONTRIBUTORS Fri Jul 24 11:31:22 2009 +0200
+++ b/CONTRIBUTORS Fri Jul 24 13:56:02 2009 +0200
@@ -7,6 +7,9 @@
Contributions to this Isabelle version
--------------------------------------
+* July 2009: Philipp Meyer, TUM
+ HOL/Library/Sum_of_Squares: functionality to call a remote csdp prover
+
* July 2009: Florian Haftmann, TUM
New quickcheck implementation using new code generator
@@ -19,6 +22,9 @@
* June 2009: Florian Haftmann, TUM
HOL/Library/Tree: searchtrees implementing mappings, ready to use for code generation
+* March 2009: Philipp Meyer, TUM
+ minimalization algorithm for results from sledgehammer call
+
Contributions to Isabelle2009
-----------------------------