| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 16497 | SpassCommunication.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 6550 | VampireCommunication.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 10032 | modUnix.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 1299 | recon_gandalf_base.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 12089 | recon_order_clauses.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 16980 | recon_parse.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 5409 | recon_prelim.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 39419 | recon_transfer_proof.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 20013 | recon_translate_proof.ML | file | revisions | annotate |
| -rwxr-xr-x | 2005-04-15 13:35 +0200 | 754 | remchars.pl | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 8710 | res_clasimpset.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 44601 | watcher.ML | file | revisions | annotate |
| -rw-r--r-- | 2005-04-15 13:35 +0200 | 1941 | watcher.sig | file | revisions | annotate |