| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2007-06-28 19:09 +0200 | 29512 | cooper.ML | file | revisions | annotate |
| -rw-r--r-- | 2007-06-28 19:09 +0200 | 3193 | cooper_data.ML | file | revisions | annotate |
| -rw-r--r-- | 2007-06-28 19:09 +0200 | 10326 | ferrante_rackoff.ML | file | revisions | annotate |
| -rw-r--r-- | 2007-06-28 19:09 +0200 | 4376 | ferrante_rackoff_data.ML | file | revisions | annotate |
| -rw-r--r-- | 2007-06-28 19:09 +0200 | 78461 | generated_cooper.ML | file | revisions | annotate |
| -rw-r--r-- | 2007-06-28 19:09 +0200 | 6060 | presburger.ML | file | revisions | annotate |
| -rw-r--r-- | 2007-06-28 19:09 +0200 | 2267 | qelim.ML | file | revisions | annotate |