Index of /xml/Coq/Sets/Relations_3_facts

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	400
	Newman.con.body.xml.gz	2004-04-08 01:32	16K
	Newman.con.proof_tree.xml.gz	2004-04-09 18:52	28K
	Newman.con.types.xml.gz	2004-04-08 01:32	17K
	Newman.con.xml.gz	2004-04-08 01:32	501
	Noetherian_contains_Noetherian.con.body.xml.gz	2004-04-08 01:32	1.3K
	Noetherian_contains_Noetherian.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	Noetherian_contains_Noetherian.con.types.xml.gz	2004-04-08 01:32	1.6K
	Noetherian_contains_Noetherian.con.xml.gz	2004-04-08 01:32	593
	Rstar_imp_coherent.con.body.xml.gz	2004-04-08 01:32	1.0K
	Rstar_imp_coherent.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	Rstar_imp_coherent.con.types.xml.gz	2004-04-08 01:32	1.1K
	Rstar_imp_coherent.con.xml.gz	2004-04-08 01:32	610
	Strong_confluence.con.body.xml.gz	2004-04-08 01:32	7.9K
	Strong_confluence.con.proof_tree.xml.gz	2004-04-09 18:52	15K
	Strong_confluence.con.types.xml.gz	2004-04-08 01:32	11K
	Strong_confluence.con.xml.gz	2004-04-08 01:32	483
	Strong_confluence_direct.con.body.xml.gz	2004-04-08 01:32	11K
	Strong_confluence_direct.con.proof_tree.xml.gz	2004-04-09 18:52	18K
	Strong_confluence_direct.con.types.xml.gz	2004-04-08 01:32	14K
	Strong_confluence_direct.con.xml.gz	2004-04-08 01:32	500
	coherent_symmetric.con.body.xml.gz	2004-04-08 01:32	2.0K
	coherent_symmetric.con.proof_tree.xml.gz	2004-04-09 18:52	3.7K
	coherent_symmetric.con.types.xml.gz	2004-04-08 01:32	2.3K
	coherent_symmetric.con.xml.gz	2004-04-08 01:32	485