prio/Paper/Paper.thy
2012-02-13 urbanc more on the paper
2012-02-13 urbanc more on the paper
2012-02-13 urbanc assumptions
2012-02-13 urbanc some polishing
2012-02-12 urbanc some polishing
2012-02-12 urbanc contribution section
less more (0) -30 -10 -6 tip