Paper/Paper.thy
2010-12-09 Christian Urban a bit more tuning of the paper
2010-12-09 Christian Urban brought the paper to 20 pages plus one page appendix
2010-11-24 Christian Urban implemented concrete suggestion of 3rd reviewer
2010-11-05 Christian Urban small typo
less more (0) -100 -30 -10 -4 tip