CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Oct 03 13:21:01 2008 +0200
+++ b/CONTRIBUTORS	Fri Oct 03 14:06:19 2008 +0200
@@ -7,6 +7,13 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* August 2008: Fabian Immler, TUM
+  Vampire wrapper script for remote SystemOnTPTP service.
+
+
+Contributions to Isabelle2008
+-----------------------------
+
 * 2007/2008:
   Alexander Krauss, TUM and Florian Haftmann, TUM and Stefan Berghofer, TUM
   HOL library improvements.