Index of /xml/Rocq/COC/Infer

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	1.1K
	add_typ.con.body.xml.gz	2004-04-08 14:36	5.3K
	add_typ.con.types.xml.gz	2004-04-08 14:36	1.1K
	add_typ.con.xml.gz	2004-04-08 14:36	709
	check_typ.con.body.xml.gz	2004-04-08 14:36	13K
	check_typ.con.types.xml.gz	2004-04-08 14:36	3.5K
	check_typ.con.xml.gz	2004-04-08 14:36	662
	chk_error.ind.types.xml.gz	2004-04-08 14:36	197
	chk_error.ind.xml.gz	2004-04-08 14:36	909
	chk_error_ind.con.body.xml.gz	2004-04-08 14:36	1.1K
	chk_error_ind.con.types.xml.gz	2004-04-08 14:36	947
	chk_error_ind.con.xml.gz	2004-04-08 14:36	889
	chk_error_no_type.con.body.xml.gz	2004-04-08 14:36	23K
	chk_error_no_type.con.types.xml.gz	2004-04-08 14:36	33K
	chk_error_no_type.con.xml.gz	2004-04-08 14:36	585
	decide_typ.con.body.xml.gz	2004-04-08 14:36	2.6K
	decide_typ.con.types.xml.gz	2004-04-08 14:36	667
	decide_typ.con.xml.gz	2004-04-08 14:36	512
	decide_wf.con.body.xml.gz	2004-04-08 14:36	7.3K
	decide_wf.con.types.xml.gz	2004-04-08 14:36	4.2K
	decide_wf.con.xml.gz	2004-04-08 14:36	442
	decl_err_not_wf.con.body.xml.gz	2004-04-08 14:36	26K
	decl_err_not_wf.con.types.xml.gz	2004-04-08 14:36	32K
	decl_err_not_wf.con.xml.gz	2004-04-08 14:36	627
	decl_error.ind.types.xml.gz	2004-04-08 14:36	198
	decl_error.ind.xml.gz	2004-04-08 14:36	632
	decl_error_ind.con.body.xml.gz	2004-04-08 14:36	850
	decl_error_ind.con.types.xml.gz	2004-04-08 14:36	733
	decl_error_ind.con.xml.gz	2004-04-08 14:36	671
	expln.ind.types.xml.gz	2004-04-08 14:36	188
	expln.ind.xml.gz	2004-04-08 14:36	2.3K
	expln_ind.con.body.xml.gz	2004-04-08 14:36	5.0K
	expln_ind.con.types.xml.gz	2004-04-08 14:36	5.2K
	expln_ind.con.xml.gz	2004-04-08 14:36	2.5K
	expln_wf.con.body.xml.gz	2004-04-08 14:36	10K
	expln_wf.con.types.xml.gz	2004-04-08 14:36	9.3K
	expln_wf.con.xml.gz	2004-04-08 14:36	428
	inf_error.ind.types.xml.gz	2004-04-08 14:36	196
	inf_error.ind.xml.gz	2004-04-08 14:36	1.6K
	inf_error_ind.con.body.xml.gz	2004-04-08 14:36	3.3K
	inf_error_ind.con.types.xml.gz	2004-04-08 14:36	3.8K
	inf_error_ind.con.xml.gz	2004-04-08 14:36	1.7K
	inf_error_no_type.con.body.xml.gz	2004-04-08 14:36	212K
	inf_error_no_type.con.types.xml.gz	2004-04-08 14:36	336K
	inf_error_no_type.con.xml.gz	2004-04-08 14:36	570
	infer.con.body.xml.gz	2004-04-08 14:36	50K
	infer.con.types.xml.gz	2004-04-08 14:36	13K
	infer.con.xml.gz	2004-04-08 14:36	673
	red_to_prod.con.body.xml.gz	2004-04-08 14:36	14K
	red_to_prod.con.types.xml.gz	2004-04-08 14:36	7.0K
	red_to_prod.con.xml.gz	2004-04-08 14:36	947
	red_to_sort.con.body.xml.gz	2004-04-08 14:36	9.5K
	red_to_sort.con.types.xml.gz	2004-04-08 14:36	6.1K
	red_to_sort.con.xml.gz	2004-04-08 14:36	644
	type_error.ind.types.xml.gz	2004-04-08 14:36	197
	type_error.ind.xml.gz	2004-04-08 14:36	604
	type_error_ind.con.body.xml.gz	2004-04-08 14:36	418
	type_error_ind.con.types.xml.gz	2004-04-08 14:36	1.4K
	type_error_ind.con.xml.gz	2004-04-08 14:36	1.0K
	type_error_rec.con.body.xml.gz	2004-04-08 14:36	415
	type_error_rec.con.types.xml.gz	2004-04-08 14:36	204
	type_error_rec.con.xml.gz	2004-04-08 14:36	1.0K
	type_error_rect.con.body.xml.gz	2004-04-08 14:36	1.9K
	type_error_rect.con.types.xml.gz	2004-04-08 14:36	206
	type_error_rect.con.xml.gz	2004-04-08 14:36	1.0K