Index of /xml/Coq/Wellfounded/Inverse_Image

	Name	Last modified	Size	Description
	Parent Directory		-
	Acc_inverse_image.con.body.xml.gz	2004-04-08 01:34	656
	Acc_inverse_image.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	Acc_inverse_image.con.types.xml.gz	2004-04-08 01:34	671
	Acc_inverse_image.con.xml.gz	2004-04-08 01:34	539
	Acc_inverse_rel.con.body.xml.gz	2004-04-08 01:34	1.7K
	Acc_inverse_rel.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Acc_inverse_rel.con.types.xml.gz	2004-04-08 01:34	2.0K
	Acc_inverse_rel.con.xml.gz	2004-04-08 01:34	566
	Acc_lemma.con.body.xml.gz	2004-04-08 01:34	1.6K
	Acc_lemma.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	Acc_lemma.con.types.xml.gz	2004-04-08 01:34	1.5K
	Acc_lemma.con.xml.gz	2004-04-08 01:34	602
	INDEX	2005-07-05 08:11	302
	Inverse_Image/	2005-07-05 08:13	-
	wf_inverse_image.con.body.xml.gz	2004-04-08 01:34	551
	wf_inverse_image.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	wf_inverse_image.con.types.xml.gz	2004-04-08 01:34	837
	wf_inverse_image.con.xml.gz	2004-04-08 01:34	421
	wf_inverse_rel.con.body.xml.gz	2004-04-08 01:34	1.1K
	wf_inverse_rel.con.proof_tree.xml.gz	2004-04-09 18:52	3.2K
	wf_inverse_rel.con.types.xml.gz	2004-04-08 01:34	1.7K
	wf_inverse_rel.con.xml.gz	2004-04-08 01:34	423