Moment.thy
2016-02-01 zhangx Reorganizing PIPBasics.thy
2016-01-14 Christian Urban updated paper
2016-01-13 zhangx Moment.thy further simplified.
2016-01-13 zhangx Moment.thy further improved.
2016-01-13 Christian Urban another simplification
2016-01-13 Christian Urban some small change
2016-01-13 Christian Urban further simplificaton of Moment.thy
2016-01-13 Christian Urban simplified Moment.thy
2016-01-09 zhangx Correctness simplified a great deal.
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