/src/ZF/Resid/
drwxr-xr-x [up]
-rw-r--r-- 2017-12-14 11:24 +0100 3736 Confluence.thy
-rw-r--r-- 2017-12-14 11:24 +0100 5999 Redex.thy
-rw-r--r-- 2017-12-14 11:24 +0100 8803 Reduction.thy
-rw-r--r-- 2017-12-14 11:24 +0100 7135 Residuals.thy
-rw-r--r-- 2017-12-14 11:24 +0100 9553 Substitution.thy