CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Oct 15 21:06:15 2008 +0200
+++ b/CONTRIBUTORS	Wed Oct 15 21:15:35 2008 +0200
@@ -7,6 +7,11 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2008: Fabian Immler, TUM
+  ATP manager for Sledgehammer, based on ML threads instead of Posix
+  processes.  Additional ATP wrappers, including remote SystemOnTPTP
+  services.
+
 * August 2008: Fabian Immler, TUM
   Vampire wrapper script for remote SystemOnTPTP service.