CONTRIBUTORS

--- a/CONTRIBUTORS	Sat Jan 15 12:48:39 2011 +0100
+++ b/CONTRIBUTORS	Sat Jan 15 12:49:10 2011 +0100
@@ -6,6 +6,9 @@
 Contributions to Isabelle2011
 -----------------------------
 
+* January 2011: Stefan Berghofer, secunet Security Networks AG
+  HOL-SPARK: an interactive prover back-end for SPARK.
+
 * October 2010: Bogdan Grechuk, University of Edinburgh
   Extended convex analysis in Multivariate Analysis.