| Fri, 12 Jul 2013 17:43:18 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 12 Jul 2013 16:19:43 +0200 | wenzelm | updated keywords; | changeset | files |
| Fri, 12 Jul 2013 16:19:05 +0200 | wenzelm | localized and modernized adhoc-overloading (patch by Christian Sternagel); | changeset | files |