/doc-src/ProgProve/
drwxr-xr-x [up]
drwxr-xr-x Thys
-rw-r--r-- 2012-04-19 10:49 +0200 802 IsaMakefile
-rw-r--r-- 2012-04-19 10:49 +0200 612 Makefile
-rw-r--r-- 2012-04-19 10:49 +0200 3364 bang.eps
-rw-r--r-- 2012-04-19 10:49 +0200 62593 bang.pdf
-rw-r--r-- 2012-04-19 10:49 +0200 2457 intro-isabelle.tex
lrwxrwxrwx 2012-04-19 10:49 +0200 32 isabelle.sty
lrwxrwxrwx 2012-04-19 10:49 +0200 35 isabellesym.sty
-rw-r--r-- 2012-04-19 10:49 +0200 13088 mathpartir.sty
-rw-r--r-- 2012-04-19 10:49 +0200 3312 prelude.tex
-rw-r--r-- 2012-04-19 10:49 +0200 734 prog-prove.bib
-rw-r--r-- 2012-04-19 10:49 +0200 1053 prog-prove.tex
-rwxr-xr-x 2012-04-19 10:49 +0200 60092 svmono.cls