diff -r ba7e19085fc5 -r c369feeb6bbc etc/settings
--- a/etc/settings	Wed Jan 21 15:22:51 2009 +0100
+++ b/etc/settings	Wed Jan 21 15:26:02 2009 +0100
@@ -242,7 +242,6 @@
   "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
   "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
   "/usr/local/Vampire" \
-  "$ISABELLE_HOME/contrib/SystemOnTPTP" \
   "")
 SPASS_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \