Index of /xml/Sophia-Antipolis/Cours-de-Coq/Relations_3_facts

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	400
	Newman.con.body.xml.gz	2004-04-08 10:13	16K
	Newman.con.types.xml.gz	2004-04-08 10:13	17K
	Newman.con.xml.gz	2004-04-08 10:13	518
	Noetherian_contains_Noetherian.con.body.xml.gz	2004-04-08 10:13	1.4K
	Noetherian_contains_Noetherian.con.types.xml.gz	2004-04-08 10:13	1.8K
	Noetherian_contains_Noetherian.con.xml.gz	2004-04-08 10:13	611
	Rstar_imp_coherent.con.body.xml.gz	2004-04-08 10:13	1.0K
	Rstar_imp_coherent.con.types.xml.gz	2004-04-08 10:13	1.1K
	Rstar_imp_coherent.con.xml.gz	2004-04-08 10:13	626
	Strong_confluence.con.body.xml.gz	2004-04-08 10:13	8.0K
	Strong_confluence.con.types.xml.gz	2004-04-08 10:13	11K
	Strong_confluence.con.xml.gz	2004-04-08 10:13	499
	Strong_confluence_direct.con.body.xml.gz	2004-04-08 10:13	11K
	Strong_confluence_direct.con.types.xml.gz	2004-04-08 10:13	14K
	Strong_confluence_direct.con.xml.gz	2004-04-08 10:13	517
	coherent_symmetric.con.body.xml.gz	2004-04-08 10:13	2.1K
	coherent_symmetric.con.types.xml.gz	2004-04-08 10:13	2.4K
	coherent_symmetric.con.xml.gz	2004-04-08 10:13	498