Index of /xml/Coq/Sets/Finite_sets

	Name	Last modified	Size	Description
	Parent Directory		-
	Ensembles_finis/	2005-07-05 08:13	-
	Ensembles_finis_facts/	2005-07-05 08:13	-
	Finite.ind.types.xml.gz	2004-04-08 01:32	191
	Finite.ind.xml.gz	2004-04-08 01:32	765
	Finite_ind.con.body.xml.gz	2004-04-08 01:32	1.5K
	Finite_ind.con.types.xml.gz	2004-04-08 01:32	1.3K
	Finite_ind.con.xml.gz	2004-04-08 01:32	874
	INDEX	2005-07-05 08:11	332
	cardinal.ind.types.xml.gz	2004-04-08 01:32	199
	cardinal.ind.xml.gz	2004-04-08 01:32	895
	cardinal_elim.con.body.xml.gz	2004-04-08 01:32	1.5K
	cardinal_elim.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	cardinal_elim.con.types.xml.gz	2004-04-08 01:32	2.2K
	cardinal_elim.con.xml.gz	2004-04-08 01:32	848
	cardinal_ind.con.body.xml.gz	2004-04-08 01:32	1.7K
	cardinal_ind.con.types.xml.gz	2004-04-08 01:32	1.6K
	cardinal_ind.con.xml.gz	2004-04-08 01:32	1.0K
	cardinal_invert.con.body.xml.gz	2004-04-08 01:32	3.4K
	cardinal_invert.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	cardinal_invert.con.types.xml.gz	2004-04-08 01:32	5.1K
	cardinal_invert.con.xml.gz	2004-04-08 01:32	1.3K