Tue, 18 Sep 2012 03:24:51 +0200 | nipkow | beautified names | changeset | files |
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 |
Mon, 17 Sep 2012 21:13:30 +0200 | blanchet | handle the general case with more than two levels of nesting when discharging induction prem prems | changeset | files |
Mon, 17 Sep 2012 21:13:30 +0200 | blanchet | clean unfolding of prod and sum sets | changeset | files |