| drwxr-xr-x | [up] | |||
| drwxr-xr-x | CASC | files | ||
| drwxr-xr-x | TPTP_Parser | files | ||
| drwxr-xr-x | etc | files | ||
| drwxr-xr-x | lib Tools | files | ||
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 590 | ATP_Problem_Import.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 1391 | ATP_Theory_Export.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 1001 | MaSh_Eval.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 2533 | MaSh_Export.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 922 | MaSh_Export_Base.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 2393 | THF_Arith.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 423 | TPTP_Interpret.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 4027 | TPTP_Interpret_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 1875 | TPTP_Parser.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 2034 | TPTP_Parser_Example.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 4150 | TPTP_Parser_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 76199 | TPTP_Proof_Reconstruction.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 26853 | TPTP_Proof_Reconstruction_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 103219 | TPTP_Proof_Reconstruction_Test_Units.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 2918 | TPTP_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 12318 | atp_problem_import.ML | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 14180 | atp_theory_export.ML | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 6373 | mash_eval.ML | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 11997 | mash_export.ML | file | revisions | annotate |
| -rw-r--r-- | 2016-11-01 01:20 +0100 | 2711 | sledgehammer_tactics.ML | file | revisions | annotate |