/src/Doc/Logics_ZF/document/
drwxr-xr-x [up]
-rw-r--r-- 2018-03-21 17:55 +0100 40875 FOL.tex
-rw-r--r-- 2018-03-21 17:55 +0100 127557 ZF.tex
-rwxr-xr-x 2018-03-21 17:55 +0100 125 build
-rw-r--r-- 2018-03-21 17:55 +0100 6612 logics.sty
-rw-r--r-- 2018-03-21 17:55 +0100 2843 root.tex