Index of /xml/Coq/Sets/Constructive_sets

	Name	Last modified	Size	Description
	Parent Directory		-
	not_Empty_Add.con.xml.gz	2004-04-08 01:32	603
	not_Empty_Add.con.types.xml.gz	2004-04-08 01:32	1.4K
	not_Empty_Add.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	not_Empty_Add.con.body.xml.gz	2004-04-08 01:32	1.0K
	Union_inv.con.xml.gz	2004-04-08 01:32	670
	Union_inv.con.types.xml.gz	2004-04-08 01:32	1.3K
	Union_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Union_inv.con.body.xml.gz	2004-04-08 01:32	1.2K
	Strict_Included_strict.con.xml.gz	2004-04-08 01:32	493
	Strict_Included_strict.con.types.xml.gz	2004-04-08 01:32	1.1K
	Strict_Included_strict.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	Strict_Included_strict.con.body.xml.gz	2004-04-08 01:32	1.0K
	Strict_Included_intro.con.xml.gz	2004-04-08 01:32	686
	Strict_Included_intro.con.types.xml.gz	2004-04-08 01:32	891
	Strict_Included_intro.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	Strict_Included_intro.con.body.xml.gz	2004-04-08 01:32	663
	Singleton_inv.con.xml.gz	2004-04-08 01:32	553
	Singleton_inv.con.types.xml.gz	2004-04-08 01:32	781
	Singleton_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	Singleton_inv.con.body.xml.gz	2004-04-08 01:32	735
	Singleton_intro.con.xml.gz	2004-04-08 01:32	559
	Singleton_intro.con.types.xml.gz	2004-04-08 01:32	720
	Singleton_intro.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	Singleton_intro.con.body.xml.gz	2004-04-08 01:32	741
	Setminus_intro.con.xml.gz	2004-04-08 01:32	670
	Setminus_intro.con.types.xml.gz	2004-04-08 01:32	902
	Setminus_intro.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	Setminus_intro.con.body.xml.gz	2004-04-08 01:32	783
	Noone_in_empty.con.xml.gz	2004-04-08 01:32	490
	Noone_in_empty.con.types.xml.gz	2004-04-08 01:32	806
	Noone_in_empty.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	Noone_in_empty.con.body.xml.gz	2004-04-08 01:32	607
	Intersection_inv.con.xml.gz	2004-04-08 01:32	681
	Intersection_inv.con.types.xml.gz	2004-04-08 01:32	1.2K
	Intersection_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Intersection_inv.con.body.xml.gz	2004-04-08 01:32	1.1K
	Inhabited_not_empty.con.xml.gz	2004-04-08 01:32	600
	Inhabited_not_empty.con.types.xml.gz	2004-04-08 01:32	1.4K
	Inhabited_not_empty.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	Inhabited_not_empty.con.body.xml.gz	2004-04-08 01:32	1.5K
	Inhabited_add.con.xml.gz	2004-04-08 01:32	531
	Inhabited_add.con.types.xml.gz	2004-04-08 01:32	694
	Inhabited_add.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	Inhabited_add.con.body.xml.gz	2004-04-08 01:32	599
	Included_Empty.con.xml.gz	2004-04-08 01:32	484
	Included_Empty.con.types.xml.gz	2004-04-08 01:32	779
	Included_Empty.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	Included_Empty.con.body.xml.gz	2004-04-08 01:32	665
	INDEX	2005-07-05 08:11	1.0K
	Extension.con.xml.gz	2004-04-08 01:32	565
	Extension.con.types.xml.gz	2004-04-08 01:32	1.0K
	Extension.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	Extension.con.body.xml.gz	2004-04-08 01:32	1.0K
	Ensembles_facts/	2005-07-05 08:13	-
	Couple_inv.con.xml.gz	2004-04-08 01:32	631
	Couple_inv.con.types.xml.gz	2004-04-08 01:32	1.0K
	Couple_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	Couple_inv.con.body.xml.gz	2004-04-08 01:32	1.0K
	Add_not_Empty.con.xml.gz	2004-04-08 01:32	607
	Add_not_Empty.con.types.xml.gz	2004-04-08 01:32	822
	Add_not_Empty.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	Add_not_Empty.con.body.xml.gz	2004-04-08 01:32	549
	Add_inv.con.xml.gz	2004-04-08 01:32	662
	Add_inv.con.types.xml.gz	2004-04-08 01:32	1.4K
	Add_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	Add_inv.con.body.xml.gz	2004-04-08 01:32	1.3K
	Add_intro2.con.xml.gz	2004-04-08 01:32	516
	Add_intro2.con.types.xml.gz	2004-04-08 01:32	798
	Add_intro2.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	Add_intro2.con.body.xml.gz	2004-04-08 01:32	605
	Add_intro1.con.xml.gz	2004-04-08 01:32	580
	Add_intro1.con.types.xml.gz	2004-04-08 01:32	815
	Add_intro1.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	Add_intro1.con.body.xml.gz	2004-04-08 01:32	654