| Thu, 18 Mar 2010 22:59:44 +0100 | wenzelm | typedecl: no sort constraints; | changeset | files |
| Thu, 18 Mar 2010 22:56:32 +0100 | wenzelm | eliminated slightly odd typedecl_wrt in favour of explicit predeclare_constraints (which also works for recursive types); | changeset | files |