Wed, 13 Jan 2016 15:16:59 +0000 | Christian Urban |
some small change | changeset | files |
Wed, 13 Jan 2016 14:20:58 +0000 | Christian Urban |
further simplificaton of Moment.thy | changeset | files |
Wed, 13 Jan 2016 13:20:45 +0000 | Christian Urban |
simplified Moment.thy | changeset | files |