drwxr-xr-x | [up] | |||
-rw-r--r-- | 1995-06-21 15:47 +0200 | 937 | AList.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 472 | AList.thy | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 1191 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 1541 | Setplus.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 265 | Setplus.thy | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 6467 | Subst.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 1115 | Subst.thy | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 2336 | UTLemmas.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 589 | UTLemmas.thy | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 9015 | UTerm.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 2052 | UTerm.thy | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 12263 | Unifier.ML | file | revisions | annotate |
-rw-r--r-- | 1995-06-21 15:47 +0200 | 1115 | Unifier.thy | file | revisions | annotate |