Index of /xml/Rocq/COC/Names

	Name	Last modified	Size	Description
	Parent Directory		-
	name.con.types.xml.gz	2004-04-08 14:33	188
	name.con.xml.gz	2004-04-08 14:33	196
	name_dec.con.types.xml.gz	2004-04-08 14:33	196
	prt_names.con.types.xml.gz	2004-04-08 14:33	197
	ord_insert.ind.types.xml.gz	2004-04-08 14:33	198
	var_of_nat.con.types.xml.gz	2004-04-08 14:33	200
	name_unique.con.types.xml.gz	2004-04-08 14:33	201
	find_free_var.con.types.xml.gz	2004-04-08 14:33	205
	prt_names.con.xml.gz	2004-04-08 14:33	206
	name.con.body.xml.gz	2004-04-08 14:33	242
	name_dec.con.body.xml.gz	2004-04-08 14:33	252
	var_of_nat.con.xml.gz	2004-04-08 14:33	312
	prt_names.con.body.xml.gz	2004-04-08 14:33	315
	name_unique.con.xml.gz	2004-04-08 14:33	367
	wf_oi.con.xml.gz	2004-04-08 14:33	374
	var_of_nat.con.body.xml.gz	2004-04-08 14:33	405
	name_dec.con.xml.gz	2004-04-08 14:33	487
	inj_var_of_nat.con.xml.gz	2004-04-08 14:33	500
	find_free_var.con.xml.gz	2004-04-08 14:33	547
	name_unique_first.con.xml.gz	2004-04-08 14:33	587
	fv_ext.con.xml.gz	2004-04-08 14:33	601
	inj_var_of_nat.con.body.xml.gz	2004-04-08 14:33	644
	find_free.con.xml.gz	2004-04-08 14:33	650
	name_unique.con.body.xml.gz	2004-04-08 14:33	665
	INDEX	2005-07-05 08:12	667
	rmv.con.xml.gz	2004-04-08 14:33	715
	ord_insert.ind.xml.gz	2004-04-08 14:33	717
	ord_insert_ind.con.xml.gz	2004-04-08 14:33	837
	ord_insert_ind.con.types.xml.gz	2004-04-08 14:33	904
	inj_var_of_nat.con.types.xml.gz	2004-04-08 14:33	1.0K
	ord_insert_ind.con.body.xml.gz	2004-04-08 14:33	1.0K
	find_free_var.con.body.xml.gz	2004-04-08 14:33	1.2K
	name_unique_first.con.body.xml.gz	2004-04-08 14:33	3.8K
	name_unique_first.con.types.xml.gz	2004-04-08 14:33	3.9K
	rmv.con.types.xml.gz	2004-04-08 14:33	9.5K
	rmv.con.body.xml.gz	2004-04-08 14:33	15K
	wf_oi.con.body.xml.gz	2004-04-08 14:33	20K
	wf_oi.con.types.xml.gz	2004-04-08 14:33	21K
	fv_ext.con.body.xml.gz	2004-04-08 14:33	25K
	fv_ext.con.types.xml.gz	2004-04-08 14:33	26K
	find_free.con.body.xml.gz	2004-04-08 14:33	31K
	find_free.con.types.xml.gz	2004-04-08 14:33	31K