src/HOL/TPTP/etc/settings

more standard settings -- refer to COMPONENT at most once;

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

TPTP_HOME="$COMPONENT"

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