| Fri, 02 Aug 2013 15:42:47 +0900 | Christian Sternagel | some documentation for adhoc overloading; | changeset | files |
| Fri, 02 Aug 2013 15:42:01 +0900 | Christian Sternagel | added examples of adhoc overloading | changeset | files |
| Fri, 02 Aug 2013 15:41:19 +0900 | Christian Sternagel | use uniform spelling of "adhoc" | changeset | files |
| Fri, 02 Aug 2013 12:11:02 +0900 | Christian Sternagel | tuned formatting of error message | changeset | files |
| Wed, 07 Aug 2013 14:47:50 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 07 Aug 2013 14:13:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 07 Aug 2013 13:46:32 +0200 | wenzelm | more tight interface for markup cumulate/select: avoid duplicate application, allow to defer decision about definedness; | changeset | files |