/src/ZF/Resid/ Isabelle2007
drwxr-xr-x [up]
-rw-r--r-- 2007-11-22 14:51 +0100 3546 Confluence.thy
-rw-r--r-- 2007-11-22 14:51 +0100 824 README.html
-rw-r--r-- 2007-11-22 14:51 +0100 487 ROOT.ML
-rw-r--r-- 2007-11-22 14:51 +0100 5588 Redex.thy
-rw-r--r-- 2007-11-22 14:51 +0100 8461 Reduction.thy
-rw-r--r-- 2007-11-22 14:51 +0100 6405 Residuals.thy
-rw-r--r-- 2007-11-22 14:51 +0100 9443 Substitution.thy