/src/HOL/Subst/ Isabelle94-3
drwxr-xr-x [up]
-rw-r--r-- 1995-04-25 11:14 +0200 937 AList.ML
-rw-r--r-- 1995-04-25 11:14 +0200 472 AList.thy
-rw-r--r-- 1995-04-25 11:14 +0200 1191 ROOT.ML
-rw-r--r-- 1995-04-25 11:14 +0200 1541 Setplus.ML
-rw-r--r-- 1995-04-25 11:14 +0200 265 Setplus.thy
-rw-r--r-- 1995-04-25 11:14 +0200 6467 Subst.ML
-rw-r--r-- 1995-04-25 11:14 +0200 1123 Subst.thy
-rw-r--r-- 1995-04-25 11:14 +0200 2336 UTLemmas.ML
-rw-r--r-- 1995-04-25 11:14 +0200 589 UTLemmas.thy
-rw-r--r-- 1995-04-25 11:14 +0200 9015 UTerm.ML
-rw-r--r-- 1995-04-25 11:14 +0200 2062 UTerm.thy
-rw-r--r-- 1995-04-25 11:14 +0200 12263 Unifier.ML
-rw-r--r-- 1995-04-25 11:14 +0200 1121 Unifier.thy