/src/ZF/Resid/
drwxr-xr-x [up]
-rw-r--r-- 2006-02-16 04:17 +0100 3527 Confluence.thy
-rw-r--r-- 2006-02-16 04:17 +0100 824 README.html
-rw-r--r-- 2006-02-16 04:17 +0100 487 ROOT.ML
-rw-r--r-- 2006-02-16 04:17 +0100 5731 Redex.thy
-rw-r--r-- 2006-02-16 04:17 +0100 8435 Reduction.thy
-rw-r--r-- 2006-02-16 04:17 +0100 6437 Residuals.thy
-rw-r--r-- 2006-02-16 04:17 +0100 9469 Substitution.thy