/src/Doc/Logics/document/
drwxr-xr-x [up]
-rw-r--r-- 2013-04-24 11:36 +0200 51076 CTT.tex
-rw-r--r-- 2013-04-24 11:36 +0200 28087 LK.tex
-rw-r--r-- 2013-04-24 11:36 +0200 8485 Sequents.tex
-rwxr-xr-x 2013-04-24 11:36 +0200 284 build
-rw-r--r-- 2013-04-24 11:36 +0200 3335 preface.tex
-rw-r--r-- 2013-04-24 11:36 +0200 1883 root.tex
-rw-r--r-- 2013-04-24 11:36 +0200 3320 syntax.tex