src/HOL/Tools/ATP/spassshell

classical rules must have names for ATP integration

#!/bin/sh
#  ID: $Id$
# Shell script to invoke SPASS and filter the output

`isatool getenv -b SPASS_HOME`/SPASS  $* | \
    `isatool getenv -b ISABELLE_HOME`/src/HOL/Tools/ATP/testoutput.py