prio/Paper/Paper.thy
2012-02-13 urbanc merged Xingyuan's changes
less more (0) -30 -10 -1 tip