Index of /xml/Rocq/COC/Conv

	Name	Last modified	Size	Description
	Parent Directory		-
	strip_lemma.con.xml.gz	2004-04-08 14:34	414
	strip_lemma.con.types.xml.gz	2004-04-08 14:34	5.4K
	strip_lemma.con.body.xml.gz	2004-04-08 14:34	4.2K
	str_confluent.con.xml.gz	2004-04-08 14:33	338
	str_confluent.con.types.xml.gz	2004-04-08 14:33	203
	str_confluent.con.body.xml.gz	2004-04-08 14:33	547
	str_confluence_par_red1.con.xml.gz	2004-04-08 14:34	312
	str_confluence_par_red1.con.types.xml.gz	2004-04-08 14:34	279K
	str_confluence_par_red1.con.body.xml.gz	2004-04-08 14:34	156K
	nf_uniqueness.con.xml.gz	2004-04-08 14:34	502
	nf_uniqueness.con.types.xml.gz	2004-04-08 14:34	1.0K
	nf_uniqueness.con.body.xml.gz	2004-04-08 14:34	1.2K
	inv_conv_prod_r.con.xml.gz	2004-04-08 14:34	516
	inv_conv_prod_r.con.types.xml.gz	2004-04-08 14:34	3.2K
	inv_conv_prod_r.con.body.xml.gz	2004-04-08 14:34	3.8K
	inv_conv_prod_l.con.xml.gz	2004-04-08 14:34	520
	inv_conv_prod_l.con.types.xml.gz	2004-04-08 14:34	3.1K
	inv_conv_prod_l.con.body.xml.gz	2004-04-08 14:34	3.7K
	conv_sort_prod.con.xml.gz	2004-04-08 14:34	500
	conv_sort_prod.con.types.xml.gz	2004-04-08 14:34	10K
	conv_sort_prod.con.body.xml.gz	2004-04-08 14:34	9.1K
	conv_sort.con.xml.gz	2004-04-08 14:34	494
	conv_sort.con.types.xml.gz	2004-04-08 14:34	18K
	conv_sort.con.body.xml.gz	2004-04-08 14:34	15K
	conv_kind_prop.con.xml.gz	2004-04-08 14:34	378
	conv_kind_prop.con.types.xml.gz	2004-04-08 14:34	1.1K
	conv_kind_prop.con.body.xml.gz	2004-04-08 14:34	1.2K
	confluence_red.con.xml.gz	2004-04-08 14:34	296
	confluence_red.con.types.xml.gz	2004-04-08 14:34	2.1K
	confluence_red.con.body.xml.gz	2004-04-08 14:34	1.5K
	confluence_par_red.con.xml.gz	2004-04-08 14:34	289
	confluence_par_red.con.types.xml.gz	2004-04-08 14:34	4.6K
	confluence_par_red.con.body.xml.gz	2004-04-08 14:34	4.0K
	church_rosser.con.xml.gz	2004-04-08 14:34	558
	church_rosser.con.types.xml.gz	2004-04-08 14:34	3.3K
	church_rosser.con.body.xml.gz	2004-04-08 14:34	3.1K
	INDEX	2005-07-05 08:12	692