CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Nov 03 14:51:55 2009 +0100
+++ b/CONTRIBUTORS	Tue Nov 03 17:54:24 2009 +0100
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* November 2009: Sascha Boehme, TUM
+  HOL-Boogie: an interactive prover back-end for Boogie and VCC
+
 * October 2009: Jasmin Blanchette, TUM
   Nitpick: yet another counterexample generator for Isabelle/HOL