| Tue, 06 Aug 2019 19:07:12 +0200 | wenzelm | more careful treatment of implicit context; | changeset | files |
| Tue, 06 Aug 2019 17:26:40 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 06 Aug 2019 16:29:28 +0200 | wenzelm | more robust and convenient treatment of implicit context; | changeset | files |