Index of /xml/Coq/Sets/Infinite_sets

	Name	Last modified	Size	Description
	Parent Directory		-
	Approx/	2005-07-05 08:13	-
	Approximant.ind.types.xml.gz	2004-04-08 01:32	204
	Approximant.ind.xml.gz	2004-04-08 01:32	713
	Approximant_ind.con.body.xml.gz	2004-04-08 01:32	504
	Approximant_ind.con.types.xml.gz	2004-04-08 01:32	828
	Approximant_ind.con.xml.gz	2004-04-08 01:32	663
	Approximant_rec.con.body.xml.gz	2004-04-08 01:32	502
	Approximant_rec.con.types.xml.gz	2004-04-08 01:32	212
	Approximant_rec.con.xml.gz	2004-04-08 01:32	671
	Approximant_rect.con.body.xml.gz	2004-04-08 01:32	765
	Approximant_rect.con.types.xml.gz	2004-04-08 01:32	213
	Approximant_rect.con.xml.gz	2004-04-08 01:32	662
	INDEX	2005-07-05 08:11	782
	Image_set_continuous'.con.body.xml.gz	2004-04-08 01:32	5.7K
	Image_set_continuous'.con.proof_tree.xml.gz	2004-04-09 18:52	6.9K
	Image_set_continuous'.con.types.xml.gz	2004-04-08 01:32	5.9K
	Image_set_continuous'.con.xml.gz	2004-04-08 01:32	1.0K
	Image_set_continuous.con.body.xml.gz	2004-04-08 01:32	16K
	Image_set_continuous.con.proof_tree.xml.gz	2004-04-09 18:52	29K
	Image_set_continuous.con.types.xml.gz	2004-04-08 01:32	22K
	Image_set_continuous.con.xml.gz	2004-04-08 01:32	1.2K
	Infinite_sets/	2005-07-05 08:13	-
	Pigeonhole_bis.con.body.xml.gz	2004-04-08 01:32	7.6K
	Pigeonhole_bis.con.proof_tree.xml.gz	2004-04-09 18:52	10K
	Pigeonhole_bis.con.types.xml.gz	2004-04-08 01:32	7.1K
	Pigeonhole_bis.con.xml.gz	2004-04-08 01:32	722
	Pigeonhole_ter.con.body.xml.gz	2004-04-08 01:32	1.0K
	Pigeonhole_ter.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	Pigeonhole_ter.con.types.xml.gz	2004-04-08 01:32	959
	Pigeonhole_ter.con.xml.gz	2004-04-08 01:32	718
	approximant_can_be_any_size.con.body.xml.gz	2004-04-08 01:32	3.4K
	approximant_can_be_any_size.con.proof_tree.xml.gz	2004-04-09 18:52	4.0K
	approximant_can_be_any_size.con.types.xml.gz	2004-04-08 01:32	3.3K
	approximant_can_be_any_size.con.xml.gz	2004-04-08 01:32	856
	approximants_grow'.con.body.xml.gz	2004-04-08 01:32	3.0K
	approximants_grow'.con.proof_tree.xml.gz	2004-04-09 18:52	4.6K
	approximants_grow'.con.types.xml.gz	2004-04-08 01:32	2.8K
	approximants_grow'.con.xml.gz	2004-04-08 01:32	1.0K
	approximants_grow.con.body.xml.gz	2004-04-08 01:32	9.2K
	approximants_grow.con.proof_tree.xml.gz	2004-04-09 18:52	15K
	approximants_grow.con.types.xml.gz	2004-04-08 01:32	11K
	approximants_grow.con.xml.gz	2004-04-08 01:32	1.0K
	make_new_approximant.con.body.xml.gz	2004-04-08 01:32	1.3K
	make_new_approximant.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	make_new_approximant.con.types.xml.gz	2004-04-08 01:32	1.3K
	make_new_approximant.con.xml.gz	2004-04-08 01:32	692