Fri, 12 Jul 2013 16:19:05 +0200 | wenzelm | localized and modernized adhoc-overloading (patch by Christian Sternagel); | changeset | files |
Fri, 12 Jul 2013 15:51:25 +0200 | wenzelm | merged | changeset | files |
Fri, 12 Jul 2013 15:39:46 +0200 | wenzelm | tuned proof; | changeset | files |