| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 929 | AList.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 472 | AList.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 1068 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 1561 | Setplus.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 265 | Setplus.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 6494 | Subst.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 1114 | Subst.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 2252 | UTLemmas.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 585 | UTLemmas.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 8507 | UTerm.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 2030 | UTerm.thy | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 12388 | Unifier.ML | file | revisions | annotate |
| -rw-r--r-- | 1996-01-18 10:38 +0100 | 1113 | Unifier.thy | file | revisions | annotate |