drwxr-xr-x | [up] | |||
-rw-r--r-- | 1995-06-21 15:47 +0200 | 1719 | Confluence.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 748 | Confluence.thy | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 6150 | Lambda.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 1107 | Lambda.thy | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 3289 | ParRed.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 966 | ParRed.thy | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 534 | ROOT.ML | file | revisions | annotate |