| Fri, 30 Mar 2012 18:56:02 +0200 | haftmann | dropped now obsolete Cset theories | file | diff | annotate |
| Fri, 23 Mar 2012 14:17:29 +0100 | kuncar | fix Quotient_Examples | file | diff | annotate |
| Mon, 26 Dec 2011 22:17:10 +0100 | haftmann | incorporated More_Set and More_List into the Main body -- to be consolidated later | file | diff | annotate |
| 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 |