Searched refs:TPTP_HOME (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_isabelle31 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_isabelle_hot31 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_nitpick31 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_refute30 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_sledgehammer31 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_translate28 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_graph117 echo "theory $LOADER imports \"$TPTP_HOME/TPTP_Parser\" \
118 begin ML_file \"$TPTP_HOME/TPTP_Parser/tptp_to_dot.ML\" \
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_isabelle31 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_isabelle_hot31 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_nitpick31 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_refute30 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_sledgehammer31 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_translate28 echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \
H A Dtptp_graph117 echo "theory $LOADER imports \"$TPTP_HOME/TPTP_Parser\" \
118 begin ML_file \"$TPTP_HOME/TPTP_Parser/tptp_to_dot.ML\" \

Completed in 87 milliseconds