| 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-04-07 16:41 +0200 | 282 | ATP_Problem_Import.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-04-07 16:41 +0200 | 1076 | ATP_Theory_Export.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-04-07 16:41 +0200 | 4755 | CASC_Setup.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-04-07 16:41 +0200 | 357 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 2012-04-07 16:41 +0200 | 2000 | TPTP_Parser.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-04-07 16:41 +0200 | 1998 | TPTP_Parser_Example.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-04-07 16:41 +0200 | 6488 | TPTP_Parser_Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2012-04-07 16:41 +0200 | 5368 | atp_problem_import.ML | file | revisions | annotate |
| -rw-r--r-- | 2012-04-07 16:41 +0200 | 8531 | atp_theory_export.ML | file | revisions | annotate |