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