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