| Sat, 30 Nov 2019 16:42:15 +0100 | wenzelm | tuned -- avoid confusion of fun_t with fun_lhs; | changeset | files |
| Sat, 30 Nov 2019 15:56:09 +0100 | wenzelm | avoid shadowing of local bindings -- more maintainable; | changeset | files |
| Sat, 30 Nov 2019 15:17:23 +0100 | wenzelm | export spec rules; | changeset | files |