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-07-20 22:19 +0200 | 576 | ATP_Problem_Import.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 874 | ATP_Theory_Export.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 705 | MaSh_Eval.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 1223 | MaSh_Export.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 378 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 2483 | THF_Arith.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 451 | TPTP_Interpret.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 3912 | TPTP_Interpret_Test.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 1821 | TPTP_Parser.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 1905 | TPTP_Parser_Example.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 3994 | TPTP_Parser_Test.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 2960 | TPTP_Test.thy | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 11011 | atp_problem_import.ML | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 6768 | atp_theory_export.ML | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 4876 | mash_eval.ML | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 7956 | mash_export.ML | file | revisions | annotate |
-rw-r--r-- | 2012-07-20 22:19 +0200 | 3039 | sledgehammer_tactics.ML | file | revisions | annotate |