| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 2870 | Confluence.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 497 | Confluence.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 1605 | Conversion.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 802 | Conversion.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 3036 | Cube.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 156 | Cube.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 629 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 1147 | Redex.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 584 | Redex.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 6340 | Reduction.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 1569 | Reduction.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 8264 | Residuals.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 926 | Residuals.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 4776 | SubUnion.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 1724 | SubUnion.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 10961 | Substitution.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 1281 | Substitution.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 2800 | Terms.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-12-09 13:36 +0100 | 697 | Terms.thy | file | revisions | annotate |