Mon, 26 Dec 2011 18:32:43 +0100 | haftmann | moved various set operations to theory Set (resp. Product_Type) | file | diff | annotate |
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) | file | diff | annotate | base |