/src/HOL/TPTP/TPTP_Parser/
drwxr-xr-x [up]
drwxr-xr-x ml-yacc
-rw-r--r-- 2017-04-25 16:39 +0100 1408 README
-rwxr-xr-x 2017-04-25 16:39 +0100 1450 make_mlyacclib
-rwxr-xr-x 2017-04-25 16:39 +0100 1190 make_tptp_parser
-rw-r--r-- 2017-04-25 16:39 +0100 42418 ml_yacc_lib.ML
-rw-r--r-- 2017-04-25 16:39 +0100 8728 tptp.lex
-rw-r--r-- 2017-04-25 16:39 +0100 35200 tptp.yacc
-rw-r--r-- 2017-04-25 16:39 +0100 39969 tptp_interpret.ML
-rw-r--r-- 2017-04-25 16:39 +0100 271384 tptp_lexyacc.ML
-rw-r--r-- 2017-04-25 16:39 +0100 2038 tptp_parser.ML
-rw-r--r-- 2017-04-25 16:39 +0100 5047 tptp_problem_name.ML
-rw-r--r-- 2017-04-25 16:39 +0100 5072 tptp_proof.ML
-rw-r--r-- 2017-04-25 16:39 +0100 76422 tptp_reconstruct.ML
-rw-r--r-- 2017-04-25 16:39 +0100 23986 tptp_reconstruct_library.ML
-rw-r--r-- 2017-04-25 16:39 +0100 28670 tptp_syntax.ML
-rw-r--r-- 2017-04-25 16:39 +0100 5439 tptp_to_dot.ML