| Fri, 10 Jul 2009 00:08:38 +0200 | wenzelm | added some generic mapping combinators; | changeset | files |
| Thu, 09 Jul 2009 23:05:59 +0200 | krauss | reorganised; many new lemmas thanks to sledgehammer | changeset | files |
| Thu, 09 Jul 2009 23:05:59 +0200 | krauss | tuned | changeset | files |