Paper/document/root.tex
2010-10-06 Christian Urban down to 21 pages and changed strong induction section
2010-10-05 Christian Urban down to 23 pages
2010-10-05 Christian Urban llncs and more sqeezing
2010-10-04 Christian Urban first part of sqeezing everything into 20 pages (at the moment we have 26)
2010-10-04 Christian Urban changed to llncs
2010-09-26 Christian Urban a few more words about Ott
2010-07-23 Christian Urban samll changes
2010-07-02 Christian Urban more on the paper
less more (0) -30 -10 -8 tip