| Sat, 30 Nov 2019 16:46:34 +0100 | wenzelm | proper spec rules via fun_lhs, e.g. relevant for "isabelle build -o export_theory"; | changeset | files |
| 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 |