CONTRIBUTORS
changeset 41567 72dd2eec64d8
parent 41531 a392a18676e9
child 41596 e424bc65080d
     1.1 --- a/CONTRIBUTORS	Sat Jan 15 12:48:39 2011 +0100
     1.2 +++ b/CONTRIBUTORS	Sat Jan 15 12:49:10 2011 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to Isabelle2011
     1.5  -----------------------------
     1.6  
     1.7 +* January 2011: Stefan Berghofer, secunet Security Networks AG
     1.8 +  HOL-SPARK: an interactive prover back-end for SPARK.
     1.9 +
    1.10  * October 2010: Bogdan Grechuk, University of Edinburgh
    1.11    Extended convex analysis in Multivariate Analysis.
    1.12