drwxr-xr-x | [up] | |||
-rw-r--r-- | 2005-07-14 19:28 +0200 | 19058 | SpassCommunication.ML | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 12747 | VampCommunication.ML | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 4167 | VampireCommunication.ML | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 7906 | recon_order_clauses.ML | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 20226 | recon_parse.ML | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 3397 | recon_prelim.ML | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 46114 | recon_transfer_proof.ML | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 18653 | recon_translate_proof.ML | file | revisions | annotate |
-rwxr-xr-x | 2005-07-14 19:28 +0200 | 754 | remchars.pl | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 8617 | res_clasimpset.ML | file | revisions | annotate |
-rwxr-xr-x | 2005-07-14 19:28 +0200 | 192 | spassshell | file | revisions | annotate |
-rwxr-xr-x | 2005-07-14 19:28 +0200 | 323 | testoutput.py | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 47226 | watcher.ML | file | revisions | annotate |
-rw-r--r-- | 2005-07-14 19:28 +0200 | 2004 | watcher.sig | file | revisions | annotate |