Paper/Paper.thy
2011-02-08 urbanc started to define things more directly
2011-02-08 urbanc small additions
less more (0) -10 -2 tip