| Tue, 01 Nov 2011 10:05:28 +0100 | bulwahn | renaming Quotient_Set and List_Quotient_Set to Quotient_Cset and List_Quotient_Cset to avoid name clash with existing Quotient_Set (again, cf. 66823a0066db) | changeset | files |
| Mon, 31 Oct 2011 19:12:41 +0100 | bulwahn | merged | changeset | files |
| Mon, 31 Oct 2011 18:29:25 +0100 | bulwahn | more robust, declarative and unsurprising computation of types in the quotient type definition | changeset | files |
| Mon, 31 Oct 2011 17:51:01 +0100 | blanchet | improve handling of bound type variables (esp. for TFF1) | changeset | files |
| Mon, 31 Oct 2011 17:51:01 +0100 | blanchet | improved TFF1 output | changeset | files |
| Mon, 31 Oct 2011 08:50:35 +0100 | bulwahn | clarified signature | changeset | files |
| Mon, 31 Oct 2011 08:43:21 +0100 | bulwahn | tuned | changeset | files |
| Mon, 31 Oct 2011 08:22:56 +0100 | bulwahn | tuned | changeset | files |