Paper/Paper.thy
2009-12-16 Christian Urban added a paper for possible notes
less more (0) tip