| Thu, 12 May 2011 17:17:57 +0200 | wenzelm | modernized specifications; | changeset | files |
| Thu, 12 May 2011 16:58:55 +0200 | wenzelm | merged | changeset | files |
| Thu, 12 May 2011 16:48:23 +0200 | blanchet | added hints and FAQs | changeset | files |
| Thu, 12 May 2011 15:29:19 +0200 | blanchet | prove one more lemma using Sledgehammer, with some guidance, and replace clumsy old proof that relied on old extensionality behavior | changeset | files |