| Thu, 12 May 2011 22:07:30 +0200 | wenzelm | proper method_setup; | changeset | files |
| Thu, 12 May 2011 21:14:03 +0200 | wenzelm | modernized simproc_setup; | changeset | files |
| Thu, 12 May 2011 18:18:06 +0200 | wenzelm | prefer Proof.context over old-style clasimpset; | changeset | files |
| Thu, 12 May 2011 18:17:32 +0200 | wenzelm | modernized dead code; | changeset | files |
| 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 |