/src/HOL/TPTP/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2016-09-18 20:33 +0200 3544 tptp_graph
-rwxr-xr-x 2016-09-18 20:33 +0200 945 tptp_isabelle
-rwxr-xr-x 2016-09-18 20:33 +0200 942 tptp_isabelle_hot
-rwxr-xr-x 2016-09-18 20:33 +0200 888 tptp_nitpick
-rwxr-xr-x 2016-09-18 20:33 +0200 823 tptp_refute
-rwxr-xr-x 2016-09-18 20:33 +0200 903 tptp_sledgehammer
-rwxr-xr-x 2016-09-18 20:33 +0200 922 tptp_translate