/src/Doc/ProgProve/document/
drwxr-xr-x [up]
-rw-r--r-- 2013-11-22 20:37 +0100 62593 bang.pdf
-rwxr-xr-x 2013-11-22 20:37 +0100 187 build
-rw-r--r-- 2013-11-22 20:37 +0100 4310 intro-isabelle.tex
-rw-r--r-- 2013-11-22 20:37 +0100 13088 mathpartir.sty
-rw-r--r-- 2013-11-22 20:37 +0100 3301 prelude.tex
-rw-r--r-- 2013-11-22 20:37 +0100 1044 root.bib
-rw-r--r-- 2013-11-22 20:37 +0100 995 root.tex
-rw-r--r-- 2013-11-22 20:37 +0100 60092 svmono.cls