| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 1360 | alist.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 490 | alist.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 1611 | setplus.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 265 | setplus.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 6323 | subst.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 1125 | subst.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 12111 | unifier.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 1128 | unifier.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 11446 | uterm.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 2061 | uterm.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 2314 | utlemmas.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-19 12:27 +0100 | 579 | utlemmas.thy | file | revisions | annotate |