prio/Paper/Paper.thy
2012-02-13 urbanc some parts of the conclusion
2012-02-13 urbanc proof idea
less more (0) -30 -10 -2 tip