| Mon, 08 Jun 2015 21:39:16 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 08 Jun 2015 21:23:28 +0200 | wenzelm | clarified abstracted term bindings; | changeset | files |
| Mon, 08 Jun 2015 20:58:43 +0200 | wenzelm | avoid duplicate warning due to Variable.warn_extra_tfrees; | changeset | files |