| 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 |