| drwxr-xr-x | [up] | |||
| drwxr-xr-x | TPTP_Parser | files | ||
| drwxr-xr-x | etc | files | ||
| drwxr-xr-x | lib Tools | files | ||
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 587 | ATP_Problem_Import.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 878 | ATP_Theory_Export.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 942 | MaSh_Eval.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 1652 | MaSh_Export.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 2483 | THF_Arith.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 417 | TPTP_Interpret.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 3906 | TPTP_Interpret_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 1852 | TPTP_Parser.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 1909 | TPTP_Parser_Example.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 3994 | TPTP_Parser_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 2960 | TPTP_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 10863 | atp_problem_import.ML | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 6677 | atp_theory_export.ML | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 6059 | mash_eval.ML | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 7596 | mash_export.ML | file | revisions | annotate |
| -rw-r--r-- | 2012-12-14 16:33 +0100 | 2669 | sledgehammer_tactics.ML | file | revisions | annotate |