Index of /xml/Coq/Wellfounded/Lexicographic_Product

	Name	Last modified	Size	Description
	Parent Directory		-
	Acc_swapprod.con.body.xml.gz	2004-04-08 01:34	38K
	Acc_swapprod.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	Acc_swapprod.con.types.xml.gz	2004-04-08 01:34	47K
	Acc_swapprod.con.xml.gz	2004-04-08 01:34	723
	Acc_symprod.con.body.xml.gz	2004-04-08 01:34	11K
	Acc_symprod.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	Acc_symprod.con.types.xml.gz	2004-04-08 01:34	13K
	Acc_symprod.con.xml.gz	2004-04-08 01:34	779
	INDEX	2005-07-05 08:11	410
	Swap/	2005-07-05 08:13	-
	WfLexicographic_Product/	2005-07-05 08:13	-
	Wf_Symmetric_Product/	2005-07-05 08:13	-
	acc_A_B_lexprod.con.body.xml.gz	2004-04-08 01:34	20K
	acc_A_B_lexprod.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	acc_A_B_lexprod.con.types.xml.gz	2004-04-08 01:34	19K
	acc_A_B_lexprod.con.xml.gz	2004-04-08 01:34	1.0K
	swap_Acc.con.body.xml.gz	2004-04-08 01:34	38K
	swap_Acc.con.proof_tree.xml.gz	2004-04-09 18:52	96K
	swap_Acc.con.types.xml.gz	2004-04-08 01:34	48K
	swap_Acc.con.xml.gz	2004-04-08 01:34	748
	wf_lexprod.con.body.xml.gz	2004-04-08 01:34	1.3K
	wf_lexprod.con.proof_tree.xml.gz	2004-04-09 18:52	2.9K
	wf_lexprod.con.types.xml.gz	2004-04-08 01:34	2.0K
	wf_lexprod.con.xml.gz	2004-04-08 01:34	722
	wf_swapprod.con.body.xml.gz	2004-04-08 01:34	948
	wf_swapprod.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	wf_swapprod.con.types.xml.gz	2004-04-08 01:34	1.4K
	wf_swapprod.con.xml.gz	2004-04-08 01:34	540
	wf_symprod.con.body.xml.gz	2004-04-08 01:34	1.0K
	wf_symprod.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	wf_symprod.con.types.xml.gz	2004-04-08 01:34	1.7K
	wf_symprod.con.xml.gz	2004-04-08 01:34	619