| 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 |
| Thu, 18 Mar 2010 13:59:20 +0100 | blanchet | merged | changeset | files |
| Thu, 18 Mar 2010 13:43:50 +0100 | blanchet | fix Mirabelle after renaming Sledgehammer structures | changeset | files |