| Fri, 30 Mar 2012 18:56:02 +0200 | haftmann | dropped now obsolete Cset theories | file | diff | annotate |
| Fri, 20 Jan 2012 09:28:50 +0100 | bulwahn | adding check_all instance for sets; tuned | file | diff | annotate |
| Fri, 06 Jan 2012 22:16:25 +0100 | haftmann | moved lemmas about List.set and set operations to List theory | 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 |