Index of /xml/Rocq/COC/Consistency

	Name	Last modified	Size	Description
	Parent Directory		-
	applist.con.types.xml.gz	2004-04-08 14:35	198
	is_atom.con.types.xml.gz	2004-04-08 14:35	199
	hnf_proofs.con.types.xml.gz	2004-04-08 14:35	204
	absurd_prop.con.types.xml.gz	2004-04-08 14:36	206
	absurd_prop.con.xml.gz	2004-04-08 14:36	239
	is_atom.con.xml.gz	2004-04-08 14:35	322
	hnf_proofs.con.xml.gz	2004-04-08 14:35	327
	applist.con.xml.gz	2004-04-08 14:35	351
	absurd_prop.con.body.xml.gz	2004-04-08 14:36	360
	sort_not_atom.con.xml.gz	2004-04-08 14:35	482
	is_atom_app.con.xml.gz	2004-04-08 14:35	502
	atom_reduction.con.xml.gz	2004-04-08 14:35	503
	prod_not_atom.con.xml.gz	2004-04-08 14:35	507
	coc_consistency.con.xml.gz	2004-04-08 14:36	513
	hnf_proofs_sound.con.xml.gz	2004-04-08 14:35	517
	conv_sort_atom.con.xml.gz	2004-04-08 14:35	542
	coc_consistency_nf.con.xml.gz	2004-04-08 14:36	552
	conv_prod_atom.con.xml.gz	2004-04-08 14:35	557
	atom_inhabitants.con.xml.gz	2004-04-08 14:36	612
	applist_assoc.con.xml.gz	2004-04-08 14:35	625
	hnf_proofs.con.body.xml.gz	2004-04-08 14:35	686
	inv_typ_applist_head.con.xml.gz	2004-04-08 14:35	687
	is_atom.con.body.xml.gz	2004-04-08 14:35	806
	applist.con.body.xml.gz	2004-04-08 14:35	839
	prod_inhabitants.con.xml.gz	2004-04-08 14:35	857
	INDEX	2005-07-05 08:12	949
	coc_consistency.con.types.xml.gz	2004-04-08 14:36	1.0K
	coc_consistency.con.body.xml.gz	2004-04-08 14:36	1.3K
	conv_prod_atom.con.types.xml.gz	2004-04-08 14:35	1.5K
	applist_assoc.con.body.xml.gz	2004-04-08 14:35	1.6K
	conv_prod_atom.con.body.xml.gz	2004-04-08 14:35	1.8K
	inv_typ_applist_head.con.body.xml.gz	2004-04-08 14:35	1.9K
	applist_assoc.con.types.xml.gz	2004-04-08 14:35	2.2K
	is_atom_app.con.body.xml.gz	2004-04-08 14:35	2.4K
	inv_typ_applist_head.con.types.xml.gz	2004-04-08 14:35	2.5K
	sort_not_atom.con.body.xml.gz	2004-04-08 14:35	2.7K
	prod_not_atom.con.body.xml.gz	2004-04-08 14:35	2.9K
	is_atom_app.con.types.xml.gz	2004-04-08 14:35	3.1K
	sort_not_atom.con.types.xml.gz	2004-04-08 14:35	3.4K
	prod_not_atom.con.types.xml.gz	2004-04-08 14:35	3.6K
	hnf_proofs_sound.con.body.xml.gz	2004-04-08 14:35	5.6K
	hnf_proofs_sound.con.types.xml.gz	2004-04-08 14:35	6.2K
	atom_inhabitants.con.body.xml.gz	2004-04-08 14:36	7.5K
	conv_sort_atom.con.body.xml.gz	2004-04-08 14:35	8.7K
	atom_inhabitants.con.types.xml.gz	2004-04-08 14:36	9.6K
	conv_sort_atom.con.types.xml.gz	2004-04-08 14:35	9.8K
	prod_inhabitants.con.body.xml.gz	2004-04-08 14:35	13K
	prod_inhabitants.con.types.xml.gz	2004-04-08 14:35	16K
	atom_reduction.con.body.xml.gz	2004-04-08 14:35	36K
	atom_reduction.con.types.xml.gz	2004-04-08 14:35	54K
	coc_consistency_nf.con.types.xml.gz	2004-04-08 14:36	59K
	coc_consistency_nf.con.body.xml.gz	2004-04-08 14:36	61K