/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-03-07 22:30 +0100 587 ATP_Problem_Import.thy
-rw-r--r-- 2014-03-07 22:30 +0100 1086 ATP_Theory_Export.thy
-rw-r--r-- 2014-03-07 22:30 +0100 1254 MaSh_Eval.thy
-rw-r--r-- 2014-03-07 22:30 +0100 2266 MaSh_Export.thy
-rw-r--r-- 2014-03-07 22:30 +0100 2483 THF_Arith.thy
-rw-r--r-- 2014-03-07 22:30 +0100 417 TPTP_Interpret.thy
-rw-r--r-- 2014-03-07 22:30 +0100 3949 TPTP_Interpret_Test.thy
-rw-r--r-- 2014-03-07 22:30 +0100 1852 TPTP_Parser.thy
-rw-r--r-- 2014-03-07 22:30 +0100 1968 TPTP_Parser_Example.thy
-rw-r--r-- 2014-03-07 22:30 +0100 4061 TPTP_Parser_Test.thy
-rw-r--r-- 2014-03-07 22:30 +0100 74206 TPTP_Proof_Reconstruction.thy
-rw-r--r-- 2014-03-07 22:30 +0100 26840 TPTP_Proof_Reconstruction_Test.thy
-rw-r--r-- 2014-03-07 22:30 +0100 103556 TPTP_Proof_Reconstruction_Test_Units.thy
-rw-r--r-- 2014-03-07 22:30 +0100 2862 TPTP_Test.thy
-rw-r--r-- 2014-03-07 22:30 +0100 12141 atp_problem_import.ML
-rw-r--r-- 2014-03-07 22:30 +0100 13228 atp_theory_export.ML
-rw-r--r-- 2014-03-07 22:30 +0100 8246 mash_eval.ML
-rw-r--r-- 2014-03-07 22:30 +0100 11490 mash_export.ML
-rw-r--r-- 2014-03-07 22:30 +0100 2646 sledgehammer_tactics.ML