/src/ZF/Resid/ Isabelle2018
drwxr-xr-x [up]
-rw-r--r-- 2018-08-12 14:28 +0200 3736 Confluence.thy
-rw-r--r-- 2018-08-12 14:28 +0200 5999 Redex.thy
-rw-r--r-- 2018-08-12 14:28 +0200 8803 Reduction.thy
-rw-r--r-- 2018-08-12 14:28 +0200 7135 Residuals.thy
-rw-r--r-- 2018-08-12 14:28 +0200 9553 Substitution.thy