/TFL/examples/Subst/
drwxr-xr-x [up]
-rw-r--r-- 1997-03-07 15:30 +0100 944 AList.ML
-rw-r--r-- 1997-03-07 15:30 +0100 479 AList.thy
-rw-r--r-- 1997-03-07 15:30 +0100 438 NNF.ML
-rw-r--r-- 1997-03-07 15:30 +0100 10 NNF.thy
-rw-r--r-- 1997-03-07 15:30 +0100 554 README
-rw-r--r-- 1997-03-07 15:30 +0100 1164 ROOT.ML
-rw-r--r-- 1997-03-07 15:30 +0100 1186 ROOT1.ML
-rw-r--r-- 1997-03-07 15:30 +0100 3206 Setplus.ML
-rw-r--r-- 1997-03-07 15:30 +0100 275 Setplus.thy
-rw-r--r-- 1997-03-07 15:30 +0100 6763 Subst.ML
-rw-r--r-- 1997-03-07 15:30 +0100 1133 Subst.thy
-rw-r--r-- 1997-03-07 15:30 +0100 1169 UTerm.ML
-rw-r--r-- 1997-03-07 15:30 +0100 1034 UTerm.thy
-rw-r--r-- 1997-03-07 15:30 +0100 3911 Unifier.ML
-rw-r--r-- 1997-03-07 15:30 +0100 780 Unifier.thy
-rw-r--r-- 1997-03-07 15:30 +0100 21691 Unify.ML
-rw-r--r-- 1997-03-07 15:30 +0100 722 Unify.thy
-rw-r--r-- 1997-03-07 15:30 +0100 23793 Unify1.ML
-rw-r--r-- 1997-03-07 15:30 +0100 723 Unify1.thy