| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 944 | AList.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 479 | AList.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 438 | NNF.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 10 | NNF.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 554 | README | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 1164 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 1186 | ROOT1.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 3206 | Setplus.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 275 | Setplus.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 6763 | Subst.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 1133 | Subst.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 1169 | UTerm.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 1034 | UTerm.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 3911 | Unifier.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 780 | Unifier.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 21923 | Unify.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 722 | Unify.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 23793 | Unify1.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-01-31 17:13 +0100 | 723 | Unify1.thy | file | revisions | annotate |