| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 2857 | Confluence.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 497 | Confluence.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 1559 | Conversion.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 802 | Conversion.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 3043 | Cube.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 156 | Cube.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 640 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 1168 | Redex.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 584 | Redex.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 6320 | Reduction.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 1569 | Reduction.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 8406 | Residuals.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 926 | Residuals.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 4930 | SubUnion.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 1724 | SubUnion.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 11046 | Substitution.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 1281 | Substitution.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 2835 | Terms.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-30 13:42 +0100 | 697 | Terms.thy | file | revisions | annotate |