/src/HOL/TPTP/TPTP_Parser/ Isabelle2016
drwxr-xr-x [up]
drwxr-xr-x ml-yacc
-rw-r--r-- 2016-02-15 14:55 +0100 1408 README
-rwxr-xr-x 2016-02-15 14:55 +0100 1450 make_mlyacclib
-rwxr-xr-x 2016-02-15 14:55 +0100 1190 make_tptp_parser
-rw-r--r-- 2016-02-15 14:55 +0100 42418 ml_yacc_lib.ML
-rw-r--r-- 2016-02-15 14:55 +0100 8728 tptp.lex
-rw-r--r-- 2016-02-15 14:55 +0100 35200 tptp.yacc
-rw-r--r-- 2016-02-15 14:55 +0100 38300 tptp_interpret.ML
-rw-r--r-- 2016-02-15 14:55 +0100 271384 tptp_lexyacc.ML
-rw-r--r-- 2016-02-15 14:55 +0100 2038 tptp_parser.ML
-rw-r--r-- 2016-02-15 14:55 +0100 5047 tptp_problem_name.ML
-rw-r--r-- 2016-02-15 14:55 +0100 5072 tptp_proof.ML
-rw-r--r-- 2016-02-15 14:55 +0100 76430 tptp_reconstruct.ML
-rw-r--r-- 2016-02-15 14:55 +0100 23986 tptp_reconstruct_library.ML
-rw-r--r-- 2016-02-15 14:55 +0100 28258 tptp_syntax.ML
-rw-r--r-- 2016-02-15 14:55 +0100 5435 tptp_to_dot.ML