src/HOL/Tools/ATP/scripts/spass_new

--- a/src/HOL/Tools/ATP/scripts/spass_new	Sun Feb 05 12:27:10 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-#!/usr/bin/env bash
-#
-# Wrapper for SPASS 3.8 that also outputs the clause-to-formula relation
-#
-# Author: Jasmin Blanchette, TU Muenchen
-
-options=${@:1:$(($#-1))}
-name=${@:$(($#)):1}
-
-rm -f "$name.prf"
-"$SPASS_NEW_HOME/SPASS" $options "$name"
-if [ -f "$name.prf" ]
-then
-  cat "$name.prf"
-  rm -f "$name.prf"
-fi