| Fri, 19 Mar 2010 00:42:17 +0100 | wenzelm | OuterParse.type_args_constrained; | changeset | files |
| Fri, 19 Mar 2010 00:41:34 +0100 | wenzelm | support type arguments with sort constraints; | changeset | files |
| 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 |
| 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 |
| Tue, 16 Mar 2010 16:27:28 +0100 | hoelzl | Added product measure space | changeset | files |
| Thu, 18 Mar 2010 14:52:11 +0100 | blanchet | added type constraints to make SML/NJ happy | changeset | files |