Index of /xml/Coq/Sets/Classical_sets

	Name	Last modified	Size	Description
	Parent Directory		-
	Ensembles_classical/	2005-07-05 08:13	-
	INDEX	2005-07-05 08:11	725
	not_included_empty_Inhabited.con.proof_tree.xml.gz	2004-04-09 18:52	3.4K
	not_empty_Inhabited.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	not_SIncl_empty.con.proof_tree.xml.gz	2004-04-09 18:52	3.3K
	Subtract_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	Subtract_intro.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Strict_super_set_contains_new_element.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	Strict_Included_inv.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	Inhabited_Setminus.con.proof_tree.xml.gz	2004-04-09 18:52	2.9K
	Included_Strict_Included.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	Complement_Complement.con.proof_tree.xml.gz	2004-04-09 18:52	4.2K
	not_included_empty_Inhabited.con.xml.gz	2004-04-08 01:32	599
	not_included_empty_Inhabited.con.types.xml.gz	2004-04-08 01:32	1.6K
	not_included_empty_Inhabited.con.body.xml.gz	2004-04-08 01:32	1.5K
	not_empty_Inhabited.con.xml.gz	2004-04-08 01:32	595
	not_empty_Inhabited.con.types.xml.gz	2004-04-08 01:32	1.2K
	not_empty_Inhabited.con.body.xml.gz	2004-04-08 01:32	1.0K
	not_SIncl_empty.con.xml.gz	2004-04-08 01:32	529
	not_SIncl_empty.con.types.xml.gz	2004-04-08 01:32	1.7K
	not_SIncl_empty.con.body.xml.gz	2004-04-08 01:32	2.0K
	Subtract_inv.con.xml.gz	2004-04-08 01:32	687
	Subtract_inv.con.types.xml.gz	2004-04-08 01:32	1.7K
	Subtract_inv.con.body.xml.gz	2004-04-08 01:32	1.4K
	Subtract_intro.con.xml.gz	2004-04-08 01:32	673
	Subtract_intro.con.types.xml.gz	2004-04-08 01:32	1.2K
	Subtract_intro.con.body.xml.gz	2004-04-08 01:32	963
	Strict_super_set_contains_new_element.con.xml.gz	2004-04-08 01:32	733
	Strict_super_set_contains_new_element.con.types.xml.gz	2004-04-08 01:32	1.2K
	Strict_super_set_contains_new_element.con.body.xml.gz	2004-04-08 01:32	1.1K
	Strict_Included_inv.con.xml.gz	2004-04-08 01:32	681
	Strict_Included_inv.con.types.xml.gz	2004-04-08 01:32	1.6K
	Strict_Included_inv.con.body.xml.gz	2004-04-08 01:32	1.5K
	Inhabited_Setminus.con.xml.gz	2004-04-08 01:32	667
	Inhabited_Setminus.con.types.xml.gz	2004-04-08 01:32	2.0K
	Inhabited_Setminus.con.body.xml.gz	2004-04-08 01:32	1.7K
	Included_Strict_Included.con.xml.gz	2004-04-08 01:32	656
	Included_Strict_Included.con.types.xml.gz	2004-04-08 01:32	1.5K
	Included_Strict_Included.con.body.xml.gz	2004-04-08 01:32	1.5K
	Complement_Complement.con.xml.gz	2004-04-08 01:32	563
	Complement_Complement.con.types.xml.gz	2004-04-08 01:32	2.8K
	Complement_Complement.con.body.xml.gz	2004-04-08 01:32	1.7K