--- a/src/HOL/Tools/ATP/spassshell	Thu May 26 16:50:20 2005 +0200
+++ b/src/HOL/Tools/ATP/spassshell	Thu May 26 18:34:23 2005 +0200
@@ -1,4 +1,7 @@
-
+#!/bin/sh
+#  ID: $Id$
+# Shell script to invoke SPASS and filter the output
 
-`isatool getenv -b SPASS_HOME`/SPASS  $* |testoutput.py
-#$SPASS_HOME  $* |testoutput.py
+`isatool getenv -b SPASS_HOME`/SPASS  $* | \
+    `isatool getenv -b ISABELLE_HOME`/src/HOL/Tools/ATP/testoutput.py
+