/src/ZF/Resid/
drwxr-xr-x [up]
-rw-r--r-- 1996-02-16 18:00 +0100 2857 Confluence.ML
-rw-r--r-- 1996-02-16 18:00 +0100 556 Confluence.thy
-rw-r--r-- 1996-02-16 18:00 +0100 1559 Conversion.ML
-rw-r--r-- 1996-02-16 18:00 +0100 867 Conversion.thy
-rw-r--r-- 1996-02-16 18:00 +0100 3043 Cube.ML
-rw-r--r-- 1996-02-16 18:00 +0100 163 Cube.thy
-rw-r--r-- 1996-02-16 18:00 +0100 640 ROOT.ML
-rw-r--r-- 1996-02-16 18:00 +0100 1168 Redex.ML
-rw-r--r-- 1996-02-16 18:00 +0100 595 Redex.thy
-rw-r--r-- 1996-02-16 18:00 +0100 6320 Reduction.ML
-rw-r--r-- 1996-02-16 18:00 +0100 1731 Reduction.thy
-rw-r--r-- 1996-02-16 18:00 +0100 8406 Residuals.ML
-rw-r--r-- 1996-02-16 18:00 +0100 1040 Residuals.thy
-rw-r--r-- 1996-02-16 18:00 +0100 4930 SubUnion.ML
-rw-r--r-- 1996-02-16 18:00 +0100 1867 SubUnion.thy
-rw-r--r-- 1996-02-16 18:00 +0100 11046 Substitution.ML
-rw-r--r-- 1996-02-16 18:00 +0100 1446 Substitution.thy
-rw-r--r-- 1996-02-16 18:00 +0100 2835 Terms.ML
-rw-r--r-- 1996-02-16 18:00 +0100 764 Terms.thy