/src/Doc/Logics_ZF/document/
drwxr-xr-x [up]
-rw-r--r-- 2017-10-08 22:28 +0200 40875 FOL.tex
-rw-r--r-- 2017-10-08 22:28 +0200 127557 ZF.tex
-rwxr-xr-x 2017-10-08 22:28 +0200 125 build
-rw-r--r-- 2017-10-08 22:28 +0200 6612 logics.sty
-rw-r--r-- 2017-10-08 22:28 +0200 2843 root.tex