src/HOL/Quotient_Examples/Quotient_Cset.thy
Fri, 30 Mar 2012 18:56:02 +0200 haftmann dropped now obsolete Cset theories
Fri, 23 Mar 2012 14:17:29 +0100 kuncar fix Quotient_Examples
Mon, 26 Dec 2011 22:17:10 +0100 haftmann incorporated More_Set and More_List into the Main body -- to be consolidated later
Mon, 26 Dec 2011 18:32:43 +0100 haftmann moved various set operations to theory Set (resp. Product_Type)
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)
less more (0) tip