Index of /xml/Coq/Wellfounded/Lexicographic_Exponentiation

	Name	Last modified	Size	Description
	Parent Directory		-
	Wf_Lexicographic_Exponentiation/	2005-07-05 08:13	-
	INDEX	2005-07-05 08:11	523
	wf_lex_exp.con.proof_tree.xml.gz	2004-04-09 18:52	81K
	right_prefix.con.proof_tree.xml.gz	2004-04-09 18:52	71K
	ltl_unit.con.proof_tree.xml.gz	2004-04-09 18:52	80K
	left_prefix.con.proof_tree.xml.gz	2004-04-09 18:52	52K
	dist_aux.con.proof_tree.xml.gz	2004-04-09 18:52	75K
	dist_Desc_concat.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	desc_tail.con.proof_tree.xml.gz	2004-04-09 18:52	65K
	desc_prefix.con.proof_tree.xml.gz	2004-04-09 18:52	25K
	desc_end.con.proof_tree.xml.gz	2004-04-09 18:52	122K
	acc_app.con.proof_tree.xml.gz	2004-04-09 18:52	4.0K
	wf_lex_exp.con.xml.gz	2004-04-08 01:34	519
	wf_lex_exp.con.types.xml.gz	2004-04-08 01:34	43K
	wf_lex_exp.con.body.xml.gz	2004-04-08 01:34	29K
	ltl_unit.con.types.xml.gz	2004-04-08 01:34	42K
	acc_app.con.xml.gz	2004-04-08 01:34	1.2K
	acc_app.con.types.xml.gz	2004-04-08 01:34	1.7K
	acc_app.con.body.xml.gz	2004-04-08 01:34	1.4K
	ltl_unit.con.xml.gz	2004-04-08 01:34	939
	ltl_unit.con.body.xml.gz	2004-04-08 01:34	31K
	desc_end.con.types.xml.gz	2004-04-08 01:34	59K
	desc_end.con.xml.gz	2004-04-08 01:34	1.0K
	desc_end.con.body.xml.gz	2004-04-08 01:34	53K
	dist_aux.con.xml.gz	2004-04-08 01:34	799
	dist_aux.con.types.xml.gz	2004-04-08 01:34	36K
	dist_aux.con.body.xml.gz	2004-04-08 01:34	28K
	dist_Desc_concat.con.xml.gz	2004-04-08 01:34	725
	dist_Desc_concat.con.types.xml.gz	2004-04-08 01:34	948
	dist_Desc_concat.con.body.xml.gz	2004-04-08 01:34	836
	desc_tail.con.xml.gz	2004-04-08 01:34	804
	desc_tail.con.types.xml.gz	2004-04-08 01:34	34K
	desc_tail.con.body.xml.gz	2004-04-08 01:34	32K
	right_prefix.con.types.xml.gz	2004-04-08 01:34	48K
	right_prefix.con.body.xml.gz	2004-04-08 01:34	28K
	desc_prefix.con.xml.gz	2004-04-08 01:34	719
	desc_prefix.con.types.xml.gz	2004-04-08 01:34	13K
	desc_prefix.con.body.xml.gz	2004-04-08 01:34	13K
	right_prefix.con.xml.gz	2004-04-08 01:34	1.0K
	left_prefix.con.xml.gz	2004-04-08 01:34	689
	left_prefix.con.types.xml.gz	2004-04-08 01:34	24K
	left_prefix.con.body.xml.gz	2004-04-08 01:34	19K