Wed, 13 Jan 2016 14:20:58 +0000 further simplificaton of Moment.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Jan 2016 14:20:58 +0000] rev 70
further simplificaton of Moment.thy
Wed, 13 Jan 2016 13:20:45 +0000 simplified Moment.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Jan 2016 13:20:45 +0000] rev 69
simplified Moment.thy
(0) -30 -10 -2 +2 +10 +30 +100 tip