Tue, 18 Sep 2012 01:55:13 +0200 | nipkow | proved all upper bounds | changeset | files |
Mon, 17 Sep 2012 21:33:12 +0200 | blanchet | tuned simpset | changeset | files |
Mon, 17 Sep 2012 21:13:30 +0200 | blanchet | cleaner way of dealing with the set functions of sums and products | changeset | files |