prio/Paper/Paper.thy
2012-02-01 zhang All comments added.
2012-01-30 urbanc spell check
2012-01-30 urbanc slight polishing
less more (0) -3 tip