CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Jun 21 12:01:27 2007 +0200
+++ b/CONTRIBUTORS	Thu Jun 21 13:23:33 2007 +0200
@@ -10,6 +10,12 @@
 * June 2007: Amine Chaieb, TUM
   Semiring normalization and Groebner Bases
 
+* June 2007: Joe Hurd, Oxford
+  Metis theorem-prover
+
+* 2006/2007: Kong W. Susanto, Cambridge
+  HOL: Metis prover integration.
+
 * 2006/2007: Florian Haftmann, TUM
   Pure: generic code generator framework.
   Pure: class package.