equal
deleted
inserted
replaced
24 shift |
24 shift |
25 |
25 |
26 for FILE in "$@" |
26 for FILE in "$@" |
27 do |
27 do |
28 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \ |
28 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \ |
29 ML {* ATP_Problem_Import.refute_tptp_file ($TIMEOUT) \"$FILE\" *} end;" \ |
29 ML {* ATP_Problem_Import.refute_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end;" \ |
30 > /tmp/$SCRATCH.thy |
30 > /tmp/$SCRATCH.thy |
31 "$ISABELLE_PROCESS" -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" |
31 "$ISABELLE_PROCESS" -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" |
32 done |
32 done |