| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 2870 | Confluence.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 501 | Confluence.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 1605 | Conversion.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 810 | Conversion.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 3036 | Cube.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 156 | Cube.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 658 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 1147 | Redex.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 588 | Redex.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 6340 | Reduction.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 1573 | Reduction.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 8264 | Residuals.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 932 | Residuals.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 4776 | SubUnion.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 1732 | SubUnion.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 10961 | Substitution.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 1289 | Substitution.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 2800 | Terms.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-07-25 17:03 +0200 | 703 | Terms.thy | file | revisions | annotate |