/src/Doc/Logics_ZF/document/
drwxr-xr-x [up]
-rw-r--r-- 2015-03-31 22:31 +0200 40875 FOL.tex
-rw-r--r-- 2015-03-31 22:31 +0200 127557 ZF.tex
-rwxr-xr-x 2015-03-31 22:31 +0200 133 build
-rw-r--r-- 2015-03-31 22:31 +0200 6612 logics.sty
-rw-r--r-- 2015-03-31 22:31 +0200 2843 root.tex