/src/ZF/Resid/
drwxr-xr-x [up]
-rw-r--r-- 2003-01-05 21:03 +0100 3516 Confluence.thy
-rw-r--r-- 2003-01-05 21:03 +0100 637 README.html
-rw-r--r-- 2003-01-05 21:03 +0100 487 ROOT.ML
-rw-r--r-- 2003-01-05 21:03 +0100 5720 Redex.thy
-rw-r--r-- 2003-01-05 21:03 +0100 8424 Reduction.thy
-rw-r--r-- 2003-01-05 21:03 +0100 8374 Residuals.thy
-rw-r--r-- 2003-01-05 21:03 +0100 9458 Substitution.thy