| 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-- | 2015-08-19 16:21 +0200 | 572 | ATP_Problem_Import.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 1087 | ATP_Theory_Export.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 943 | MaSh_Eval.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 2359 | MaSh_Export.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 886 | MaSh_Export_Base.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 2469 | THF_Arith.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 422 | TPTP_Interpret.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 3940 | TPTP_Interpret_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 1852 | TPTP_Parser.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 1968 | TPTP_Parser_Example.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 4061 | TPTP_Parser_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 75588 | TPTP_Proof_Reconstruction.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 26526 | TPTP_Proof_Reconstruction_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 103216 | TPTP_Proof_Reconstruction_Test_Units.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 2858 | TPTP_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 12277 | atp_problem_import.ML | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 13169 | atp_theory_export.ML | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 6409 | mash_eval.ML | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 12073 | mash_export.ML | file | revisions | annotate |
| -rw-r--r-- | 2015-08-19 16:21 +0200 | 2694 | sledgehammer_tactics.ML | file | revisions | annotate |