/src/ZF/Resid/
drwxr-xr-x [up]
-rw-r--r-- 2000-08-11 13:26 +0200 1872 Confluence.ML
-rw-r--r-- 2000-08-11 13:26 +0200 556 Confluence.thy
-rw-r--r-- 2000-08-11 13:26 +0200 970 Conversion.ML
-rw-r--r-- 2000-08-11 13:26 +0200 867 Conversion.thy
-rw-r--r-- 2000-08-11 13:26 +0200 2491 Cube.ML
-rw-r--r-- 2000-08-11 13:26 +0200 163 Cube.thy
-rw-r--r-- 2000-08-11 13:26 +0200 637 README.html
-rw-r--r-- 2000-08-11 13:26 +0200 487 ROOT.ML
-rw-r--r-- 2000-08-11 13:26 +0200 3643 Redex.ML
-rw-r--r-- 2000-08-11 13:26 +0200 2220 Redex.thy
-rw-r--r-- 2000-08-11 13:26 +0200 5222 Reduction.ML
-rw-r--r-- 2000-08-11 13:26 +0200 1731 Reduction.thy
-rw-r--r-- 2000-08-11 13:26 +0200 6409 Residuals.ML
-rw-r--r-- 2000-08-11 13:26 +0200 1041 Residuals.thy
-rw-r--r-- 2000-08-11 13:26 +0200 9337 Substitution.ML
-rw-r--r-- 2000-08-11 13:26 +0200 1252 Substitution.thy
-rw-r--r-- 2000-08-11 13:26 +0200 1610 Terms.ML
-rw-r--r-- 2000-08-11 13:26 +0200 705 Terms.thy