Index of /xml/Coq/Sets/Image

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	801
	Im.ind.types.xml.gz	2004-04-08 01:32	184
	Im.ind.xml.gz	2004-04-08 01:32	789
	Im_add.con.body.xml.gz	2004-04-08 01:32	5.5K
	Im_add.con.proof_tree.xml.gz	2004-04-09 18:52	6.8K
	Im_add.con.types.xml.gz	2004-04-08 01:32	6.1K
	Im_add.con.xml.gz	2004-04-08 01:32	687
	Im_def.con.body.xml.gz	2004-04-08 01:32	702
	Im_def.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	Im_def.con.types.xml.gz	2004-04-08 01:32	787
	Im_def.con.xml.gz	2004-04-08 01:32	616
	Im_ind.con.body.xml.gz	2004-04-08 01:32	942
	Im_ind.con.types.xml.gz	2004-04-08 01:32	836
	Im_ind.con.xml.gz	2004-04-08 01:32	788
	Im_inv.con.body.xml.gz	2004-04-08 01:32	1.7K
	Im_inv.con.proof_tree.xml.gz	2004-04-09 18:52	2.8K
	Im_inv.con.types.xml.gz	2004-04-08 01:32	1.8K
	Im_inv.con.xml.gz	2004-04-08 01:32	781
	Image/	2005-07-05 08:13	-
	In_Image_elim.con.body.xml.gz	2004-04-08 01:32	1.7K
	In_Image_elim.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	In_Image_elim.con.types.xml.gz	2004-04-08 01:32	1.6K
	In_Image_elim.con.xml.gz	2004-04-08 01:32	660
	Pigeonhole.con.body.xml.gz	2004-04-08 01:32	1.3K
	Pigeonhole.con.proof_tree.xml.gz	2004-04-09 18:52	3.2K
	Pigeonhole.con.types.xml.gz	2004-04-08 01:32	1.1K
	Pigeonhole.con.xml.gz	2004-04-08 01:32	765
	Pigeonhole_principle.con.body.xml.gz	2004-04-08 01:32	904
	Pigeonhole_principle.con.proof_tree.xml.gz	2004-04-09 18:52	2.2K
	Pigeonhole_principle.con.types.xml.gz	2004-04-08 01:32	1.3K
	Pigeonhole_principle.con.xml.gz	2004-04-08 01:32	1.0K
	cardinal_Im_intro.con.body.xml.gz	2004-04-08 01:32	809
	cardinal_Im_intro.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	cardinal_Im_intro.con.types.xml.gz	2004-04-08 01:32	1.0K
	cardinal_Im_intro.con.xml.gz	2004-04-08 01:32	753
	cardinal_decreases.con.body.xml.gz	2004-04-08 01:32	3.5K
	cardinal_decreases.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	cardinal_decreases.con.types.xml.gz	2004-04-08 01:32	3.0K
	cardinal_decreases.con.xml.gz	2004-04-08 01:32	717
	finite_image.con.body.xml.gz	2004-04-08 01:32	1.7K
	finite_image.con.proof_tree.xml.gz	2004-04-09 18:52	2.6K
	finite_image.con.types.xml.gz	2004-04-08 01:32	1.5K
	finite_image.con.xml.gz	2004-04-08 01:32	582
	image_empty.con.body.xml.gz	2004-04-08 01:32	1.6K
	image_empty.con.proof_tree.xml.gz	2004-04-09 18:52	2.8K
	image_empty.con.types.xml.gz	2004-04-08 01:32	1.8K
	image_empty.con.xml.gz	2004-04-08 01:32	550
	injective.con.body.xml.gz	2004-04-08 01:32	548
	injective.con.types.xml.gz	2004-04-08 01:32	196
	injective.con.xml.gz	2004-04-08 01:32	326
	injective_preserves_cardinal.con.body.xml.gz	2004-04-08 01:32	4.0K
	injective_preserves_cardinal.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	injective_preserves_cardinal.con.types.xml.gz	2004-04-08 01:32	3.6K
	injective_preserves_cardinal.con.xml.gz	2004-04-08 01:32	772
	not_injective_elim.con.body.xml.gz	2004-04-08 01:32	3.4K
	not_injective_elim.con.proof_tree.xml.gz	2004-04-09 18:52	7.0K
	not_injective_elim.con.types.xml.gz	2004-04-08 01:32	5.1K
	not_injective_elim.con.xml.gz	2004-04-08 01:32	732