| Thu, 03 Nov 2011 10:29:05 +1100 | kleing | moved latex generation for HOL-IMP out of distribution | changeset | files |
| 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 |