Moment.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
less more (0) -7 tip