Correctness.thy
2016-01-27 Christian Urban some small changes to Correctness and Paper
2016-01-15 Christian Urban some small changes to the paper
2016-01-13 zhangx Moment.thy further improved.
less more (0) -3 tip