Max.thy
2014-05-22 Christian Urban added a bit more text to the paper and separated a theory about Max
less more (0) tip