Index of /xml/Coq/Wellfounded/Transitive_Closure

	Name	Last modified	Size	Description
	Parent Directory		-
	Acc_clos_trans.con.body.xml.gz	2004-04-08 01:34	3.0K
	Acc_clos_trans.con.proof_tree.xml.gz	2004-04-09 18:52	959
	Acc_clos_trans.con.types.xml.gz	2004-04-08 01:34	2.7K
	Acc_clos_trans.con.xml.gz	2004-04-08 01:34	571
	Acc_inv_trans.con.body.xml.gz	2004-04-08 01:34	1.5K
	Acc_inv_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	Acc_inv_trans.con.types.xml.gz	2004-04-08 01:34	1.4K
	Acc_inv_trans.con.xml.gz	2004-04-08 01:34	596
	INDEX	2005-07-05 08:11	249
	Wf_Transitive_Closure/	2005-07-05 08:13	-
	incl_clos_trans.con.body.xml.gz	2004-04-08 01:34	581
	incl_clos_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	incl_clos_trans.con.types.xml.gz	2004-04-08 01:34	716
	incl_clos_trans.con.xml.gz	2004-04-08 01:34	439
	wf_clos_trans.con.body.xml.gz	2004-04-08 01:34	595
	wf_clos_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	wf_clos_trans.con.types.xml.gz	2004-04-08 01:34	1.0K
	wf_clos_trans.con.xml.gz	2004-04-08 01:34	498