| Fri, 10 Jul 2009 07:59:25 +0200 | haftmann | tuned quickcheck generator for bool | changeset | files |
| Fri, 10 Jul 2009 07:59:23 +0200 | haftmann | tuned | changeset | files |
| Fri, 10 Jul 2009 00:49:32 +0200 | wenzelm | merged | changeset | files |
| Fri, 10 Jul 2009 00:10:36 +0200 | wenzelm | merged | changeset | files |
| Fri, 10 Jul 2009 00:47:17 +0200 | wenzelm | tuned varify/unvarify: use Term_Subst.map_XXX combinators; | changeset | files |
| 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 |