| Sun, 26 Nov 2006 18:07:33 +0100 | wenzelm | Binder: syntax const is determined by binder_name, not its syntax; | changeset | files |
| Sun, 26 Nov 2006 18:07:31 +0100 | wenzelm | simplified consts: no auxiliary params, sane mixfix syntax; | changeset | files |
| Sun, 26 Nov 2006 18:07:29 +0100 | wenzelm | abbrevs: no result; | changeset | files |
| Sun, 26 Nov 2006 18:07:27 +0100 | wenzelm | added export_(standard_)morphism; | changeset | files |