/src/ZF/Resid/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2025-07-23 13:22 +0200 4131 Confluence.thy
-rw-r--r-- 2025-07-23 13:22 +0200 6539 Redex.thy
-rw-r--r-- 2025-07-23 13:22 +0200 9963 Reduction.thy
-rw-r--r-- 2025-07-23 13:22 +0200 7660 Residuals.thy
-rw-r--r-- 2025-07-23 13:22 +0200 10247 Substitution.thy