| Wed, 21 Apr 2010 16:21:19 +0200 | blanchet | pass relevant options from "sledgehammer" to "sledgehammer minimize"; | changeset | files |
| Fri, 23 Apr 2010 10:00:53 +0200 | Cezary Kaliszyk | Finite set theory | changeset | files |
| Thu, 22 Apr 2010 22:12:12 +0200 | wenzelm | merged | changeset | files |