| Sat, 20 Apr 2013 19:30:04 +0200 | nipkow | tuned | changeset | files |
| Fri, 19 Apr 2013 12:04:57 +0200 | nipkow | tuned | changeset | files |
| Thu, 18 Apr 2013 21:31:24 +0200 | wenzelm | merged | changeset | files |
| 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 |
| Thu, 18 Apr 2013 20:18:37 +0200 | nipkow | avoided map_of in def of fun_rep (but still needed for efficient code) | changeset | files |