| Thu, 18 Mar 2010 23:08:52 +0100 | wenzelm | typedecl: no sort constraints; | changeset | files |
| Thu, 18 Mar 2010 23:00:18 +0100 | wenzelm | eliminated slightly odd typedecl_wrt in favour of explicit predeclare_constraints; | changeset | files |
| Thu, 18 Mar 2010 22:59:44 +0100 | wenzelm | typedecl: no sort constraints; | changeset | files |