Index of /xml/Rocq/COC/Conv_Dec

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	549
	is_conv.con.xml.gz	2004-04-08 14:34	531
	is_conv.con.types.xml.gz	2004-04-08 14:34	1.3K
	is_conv.con.body.xml.gz	2004-04-08 14:34	3.5K
	eqterm.con.xml.gz	2004-04-08 14:34	485
	eqterm.con.types.xml.gz	2004-04-08 14:34	22K
	eqterm.con.body.xml.gz	2004-04-08 14:34	36K
	compute_nf.con.xml.gz	2004-04-08 14:34	533
	compute_nf.con.types.xml.gz	2004-04-08 14:34	125K
	compute_nf.con.body.xml.gz	2004-04-08 14:34	124K
	wf_subterm.con.xml.gz	2004-04-08 14:34	335
	wf_subterm.con.types.xml.gz	2004-04-08 14:34	38K
	wf_subterm.con.body.xml.gz	2004-04-08 14:34	36K
	wf_ord_norm1.con.xml.gz	2004-04-08 14:34	486
	wf_ord_norm1.con.types.xml.gz	2004-04-08 14:34	1.1K
	wf_ord_norm1.con.body.xml.gz	2004-04-08 14:34	815
	wf_ord_norm.con.xml.gz	2004-04-08 14:34	485
	wf_ord_norm.con.types.xml.gz	2004-04-08 14:34	719
	wf_ord_norm.con.body.xml.gz	2004-04-08 14:34	565
	norm_body.con.xml.gz	2004-04-08 14:34	321
	norm_body.con.types.xml.gz	2004-04-08 14:34	199
	norm_body.con.body.xml.gz	2004-04-08 14:34	1.3K
	subterm_ord_norm.con.xml.gz	2004-04-08 14:34	444
	subterm_ord_norm.con.types.xml.gz	2004-04-08 14:34	783
	subterm_ord_norm.con.body.xml.gz	2004-04-08 14:34	737
	red_red1_ord_norm.con.xml.gz	2004-04-08 14:34	499
	red_red1_ord_norm.con.types.xml.gz	2004-04-08 14:34	1.8K
	red_red1_ord_norm.con.body.xml.gz	2004-04-08 14:34	1.6K
	ord_norm1.con.xml.gz	2004-04-08 14:34	307
	ord_norm1.con.types.xml.gz	2004-04-08 14:34	199
	ord_norm1.con.body.xml.gz	2004-04-08 14:34	412
	ord_norm.con.xml.gz	2004-04-08 14:34	305
	ord_norm.con.types.xml.gz	2004-04-08 14:34	197
	ord_norm.con.body.xml.gz	2004-04-08 14:34	362