| Mon, 06 Aug 2018 11:06:43 +0200 | wenzelm | export shyps as regular typargs; | changeset | files |
| Sun, 05 Aug 2018 20:32:18 +0200 | wenzelm | more uniform facts: single vs. multi; | changeset | files |
| Sun, 05 Aug 2018 14:50:11 +0200 | wenzelm | explicit names for bound variables; | changeset | files |