Paper/Paper.thy
2010-03-24 Christian Urban some tuning; possible fix for strange paper generation
2010-03-24 Christian Urban more on the paper
2010-03-24 Christian Urban tuned paper
2010-03-23 Christian Urban more of the paper
2010-03-23 Christian Urban more tuning in the paper
2010-03-23 Christian Urban more tuning
less more (0) -30 -10 -6 tip