| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 2870 | Confluence.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 507 | Confluence.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 1605 | Conversion.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 810 | Conversion.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 3036 | Cube.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 156 | Cube.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 658 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 1147 | Redex.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 592 | Redex.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 6340 | Reduction.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 1581 | Reduction.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 8264 | Residuals.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 942 | Residuals.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 4776 | SubUnion.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 1750 | SubUnion.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 10961 | Substitution.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 1311 | Substitution.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 2800 | Terms.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 707 | Terms.thy | file | revisions | annotate |