src/HOL/TPTP/etc/settings

explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions;
tuned;

# -*- shell-script -*- :mode=shellscript:

TPTP_HOME="$COMPONENT"

ISABELLE_TOOLS="$ISABELLE_TOOLS:$TPTP_HOME/lib/Tools"