/Subst/
drwxr-xr-x [up]
-rw-r--r-- 1995-01-29 14:02 +0100 927 AList.ML
-rw-r--r-- 1995-01-29 14:02 +0100 468 AList.thy
-rw-r--r-- 1995-01-29 14:02 +0100 1188 ROOT.ML
-rw-r--r-- 1995-01-29 14:02 +0100 1541 Setplus.ML
-rw-r--r-- 1995-01-29 14:02 +0100 265 Setplus.thy
-rw-r--r-- 1995-01-29 14:02 +0100 6409 Subst.ML
-rw-r--r-- 1995-01-29 14:02 +0100 1125 Subst.thy
-rw-r--r-- 1995-01-29 14:02 +0100 2340 UTLemmas.ML
-rw-r--r-- 1995-01-29 14:02 +0100 579 UTLemmas.thy
-rw-r--r-- 1995-01-29 14:02 +0100 9027 UTerm.ML
-rw-r--r-- 1995-01-29 14:02 +0100 2057 UTerm.thy
-rw-r--r-- 1995-01-29 14:02 +0100 12250 Unifier.ML
-rw-r--r-- 1995-01-29 14:02 +0100 1128 Unifier.thy
-rw-r--r-- 1995-01-29 14:02 +0100 1360 alist.ML
-rw-r--r-- 1995-01-29 14:02 +0100 490 alist.thy
-rw-r--r-- 1995-01-29 14:02 +0100 1611 setplus.ML
-rw-r--r-- 1995-01-29 14:02 +0100 265 setplus.thy
-rw-r--r-- 1995-01-29 14:02 +0100 6323 subst.ML
-rw-r--r-- 1995-01-29 14:02 +0100 1125 subst.thy
-rw-r--r-- 1995-01-29 14:02 +0100 12111 unifier.ML
-rw-r--r-- 1995-01-29 14:02 +0100 1128 unifier.thy
-rw-r--r-- 1995-01-29 14:02 +0100 11446 uterm.ML
-rw-r--r-- 1995-01-29 14:02 +0100 2061 uterm.thy
-rw-r--r-- 1995-01-29 14:02 +0100 2314 utlemmas.ML
-rw-r--r-- 1995-01-29 14:02 +0100 579 utlemmas.thy