| Thu, 18 Apr 2013 21:10:12 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 18 Apr 2013 17:07:01 +0200 | wenzelm | simplifier uses proper Proof.context instead of historic type simpset; | changeset | files |
| Thu, 18 Apr 2013 20:18:50 +0200 | nipkow | merged | changeset | files |