the new SPASS gives accurate fact information, so no need for old hack anymore

--- a/src/HOL/Tools/ATP/scripts/spass_new	Sat Feb 04 12:08:18 2012 +0100
+++ b/src/HOL/Tools/ATP/scripts/spass_new	Sat Feb 04 12:08:18 2012 +0100
@@ -8,8 +8,7 @@
 name=${@:$(($#)):1}
 
 rm -f "$name.prf"
-"$SPASS_NEW_HOME/SPASS" -FPDFGProof -FPFCR $options "$name" \
-    | sed 's/\(Formulae used in the proof :\).*/\1 N\/A/'
+"$SPASS_NEW_HOME/SPASS" -FPDFGProof -FPFCR $options "$name"
 if [ -f "$name.prf" ]
 then
   cat "$name.prf"