Index of /xml/Coq/Sets/Powerset_Classical_facts

	Name	Last modified	Size	Description
	Parent Directory		-
	Add_covers.con.body.xml.gz	2004-04-08 01:32	7.1K
	Add_covers.con.proof_tree.xml.gz	2004-04-09 18:52	12K
	Add_covers.con.types.xml.gz	2004-04-08 01:32	6.5K
	Add_covers.con.xml.gz	2004-04-08 01:32	849
	INDEX	2005-07-05 08:11	1.0K
	Included_Add.con.body.xml.gz	2004-04-08 01:32	5.8K
	Included_Add.con.proof_tree.xml.gz	2004-04-09 18:52	9.9K
	Included_Add.con.types.xml.gz	2004-04-08 01:32	6.6K
	Included_Add.con.xml.gz	2004-04-08 01:32	964
	Sets_as_an_algebra/	2005-07-05 08:13	-
	Simplify_add.con.body.xml.gz	2004-04-08 01:32	1.9K
	Simplify_add.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	Simplify_add.con.types.xml.gz	2004-04-08 01:32	1.4K
	Simplify_add.con.xml.gz	2004-04-08 01:32	784
	Singleton_atomic.con.body.xml.gz	2004-04-08 01:32	1.2K
	Singleton_atomic.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	Singleton_atomic.con.types.xml.gz	2004-04-08 01:32	1.3K
	Singleton_atomic.con.xml.gz	2004-04-08 01:32	743
	Sub_Add_new.con.body.xml.gz	2004-04-08 01:32	1.0K
	Sub_Add_new.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	Sub_Add_new.con.types.xml.gz	2004-04-08 01:32	1.3K
	Sub_Add_new.con.xml.gz	2004-04-08 01:32	677
	add_soustr_1.con.body.xml.gz	2004-04-08 01:32	1.7K
	add_soustr_1.con.proof_tree.xml.gz	2004-04-09 18:52	3.3K
	add_soustr_1.con.types.xml.gz	2004-04-08 01:32	1.9K
	add_soustr_1.con.xml.gz	2004-04-08 01:32	639
	add_soustr_2.con.body.xml.gz	2004-04-08 01:32	1.6K
	add_soustr_2.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	add_soustr_2.con.types.xml.gz	2004-04-08 01:32	1.7K
	add_soustr_2.con.xml.gz	2004-04-08 01:32	638
	add_soustr_xy.con.body.xml.gz	2004-04-08 01:32	5.1K
	add_soustr_xy.con.proof_tree.xml.gz	2004-04-09 18:52	8.5K
	add_soustr_xy.con.types.xml.gz	2004-04-08 01:32	5.9K
	add_soustr_xy.con.xml.gz	2004-04-08 01:32	763
	covers_Add.con.body.xml.gz	2004-04-08 01:32	7.1K
	covers_Add.con.proof_tree.xml.gz	2004-04-09 18:52	9.9K
	covers_Add.con.types.xml.gz	2004-04-08 01:32	7.8K
	covers_Add.con.xml.gz	2004-04-08 01:32	1.1K
	covers_is_Add.con.body.xml.gz	2004-04-08 01:32	4.6K
	covers_is_Add.con.proof_tree.xml.gz	2004-04-09 18:52	5.7K
	covers_is_Add.con.types.xml.gz	2004-04-08 01:32	4.9K
	covers_is_Add.con.xml.gz	2004-04-08 01:32	1.1K
	incl_soustr.con.body.xml.gz	2004-04-08 01:32	1.4K
	incl_soustr.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	incl_soustr.con.types.xml.gz	2004-04-08 01:32	2.0K
	incl_soustr.con.xml.gz	2004-04-08 01:32	647
	incl_soustr_add_l.con.body.xml.gz	2004-04-08 01:32	1.8K
	incl_soustr_add_l.con.proof_tree.xml.gz	2004-04-09 18:52	3.7K
	incl_soustr_add_l.con.types.xml.gz	2004-04-08 01:32	2.3K
	incl_soustr_add_l.con.xml.gz	2004-04-08 01:32	594
	incl_soustr_add_r.con.body.xml.gz	2004-04-08 01:32	1.1K
	incl_soustr_add_r.con.proof_tree.xml.gz	2004-04-09 18:52	2.9K
	incl_soustr_add_r.con.types.xml.gz	2004-04-08 01:32	1.4K
	incl_soustr_add_r.con.xml.gz	2004-04-08 01:32	667
	incl_soustr_in.con.body.xml.gz	2004-04-08 01:32	1.0K
	incl_soustr_in.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	incl_soustr_in.con.types.xml.gz	2004-04-08 01:32	1.3K
	incl_soustr_in.con.xml.gz	2004-04-08 01:32	592
	incl_st_add_soustr.con.body.xml.gz	2004-04-08 01:32	3.7K
	incl_st_add_soustr.con.proof_tree.xml.gz	2004-04-09 18:52	4.9K
	incl_st_add_soustr.con.types.xml.gz	2004-04-08 01:32	5.3K
	incl_st_add_soustr.con.xml.gz	2004-04-08 01:32	735
	less_than_singleton.con.body.xml.gz	2004-04-08 01:32	3.5K
	less_than_singleton.con.proof_tree.xml.gz	2004-04-09 18:52	5.2K
	less_than_singleton.con.types.xml.gz	2004-04-08 01:32	3.5K
	less_than_singleton.con.xml.gz	2004-04-08 01:32	671
	setcover_inv.con.body.xml.gz	2004-04-08 01:32	4.7K
	setcover_inv.con.proof_tree.xml.gz	2004-04-09 18:52	11K
	setcover_inv.con.types.xml.gz	2004-04-08 01:32	7.4K
	setcover_inv.con.xml.gz	2004-04-08 01:32	1.0K
	sincl_add_x.con.body.xml.gz	2004-04-08 01:32	4.8K
	sincl_add_x.con.proof_tree.xml.gz	2004-04-09 18:52	6.0K
	sincl_add_x.con.types.xml.gz	2004-04-08 01:32	4.0K
	sincl_add_x.con.xml.gz	2004-04-08 01:32	718