/src/HOL/TPTP/
drwxr-xr-x [up]
drwxr-xr-x CASC
drwxr-xr-x TPTP_Parser
drwxr-xr-x etc
drwxr-xr-x lib Tools
-rw-r--r-- 2014-10-10 19:55 +0200 571 ATP_Problem_Import.thy
-rw-r--r-- 2014-10-10 19:55 +0200 1086 ATP_Theory_Export.thy
-rw-r--r-- 2014-10-10 19:55 +0200 942 MaSh_Eval.thy
-rw-r--r-- 2014-10-10 19:55 +0200 2358 MaSh_Export.thy
-rw-r--r-- 2014-10-10 19:55 +0200 885 MaSh_Export_Base.thy
-rw-r--r-- 2014-10-10 19:55 +0200 2469 THF_Arith.thy
-rw-r--r-- 2014-10-10 19:55 +0200 422 TPTP_Interpret.thy
-rw-r--r-- 2014-10-10 19:55 +0200 3940 TPTP_Interpret_Test.thy
-rw-r--r-- 2014-10-10 19:55 +0200 1852 TPTP_Parser.thy
-rw-r--r-- 2014-10-10 19:55 +0200 1968 TPTP_Parser_Example.thy
-rw-r--r-- 2014-10-10 19:55 +0200 4061 TPTP_Parser_Test.thy
-rw-r--r-- 2014-10-10 19:55 +0200 74267 TPTP_Proof_Reconstruction.thy
-rw-r--r-- 2014-10-10 19:55 +0200 26953 TPTP_Proof_Reconstruction_Test.thy
-rw-r--r-- 2014-10-10 19:55 +0200 103578 TPTP_Proof_Reconstruction_Test_Units.thy
-rw-r--r-- 2014-10-10 19:55 +0200 2858 TPTP_Test.thy
-rw-r--r-- 2014-10-10 19:55 +0200 12342 atp_problem_import.ML
-rw-r--r-- 2014-10-10 19:55 +0200 13165 atp_theory_export.ML
-rw-r--r-- 2014-10-10 19:55 +0200 6379 mash_eval.ML
-rw-r--r-- 2014-10-10 19:55 +0200 11927 mash_export.ML
-rw-r--r-- 2014-10-10 19:55 +0200 2688 sledgehammer_tactics.ML