proof.tex
2012-10-14 Christian Urban tuned
2012-10-05 Christian Urban one more case
2012-10-04 Christian Urban added
less more (0) tip