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

	Name	Last modified	Size	Description
	Parent Directory		-
	star_monotone.con.xml.gz	2004-04-08 10:13	619
	star_monotone.con.types.xml.gz	2004-04-08 10:13	1.6K
	star_monotone.con.body.xml.gz	2004-04-08 10:13	948
	Sstar_contains_Rstar.con.xml.gz	2004-04-08 10:13	648
	Sstar_contains_Rstar.con.types.xml.gz	2004-04-08 10:13	2.1K
	Sstar_contains_Rstar.con.body.xml.gz	2004-04-08 10:13	1.6K
	Rsym_imp_Rstarsym.con.xml.gz	2004-04-08 10:13	554
	Rsym_imp_Rstarsym.con.types.xml.gz	2004-04-08 10:13	1.8K
	Rsym_imp_Rstarsym.con.body.xml.gz	2004-04-08 10:13	1.6K
	Rstar_transitive.con.xml.gz	2004-04-08 10:13	507
	Rstar_transitive.con.types.xml.gz	2004-04-08 10:13	1.5K
	Rstar_transitive.con.body.xml.gz	2004-04-08 10:13	1.5K
	Rstar_reflexive.con.xml.gz	2004-04-08 10:13	508
	Rstar_reflexive.con.types.xml.gz	2004-04-08 10:13	794
	Rstar_reflexive.con.body.xml.gz	2004-04-08 10:13	553
	Rstar_equiv_Rstar1.con.xml.gz	2004-04-08 10:13	547
	Rstar_equiv_Rstar1.con.types.xml.gz	2004-04-08 10:13	3.6K
	Rstar_equiv_Rstar1.con.body.xml.gz	2004-04-08 10:13	2.8K
	Rstar_contains_Rplus.con.xml.gz	2004-04-08 10:13	555
	Rstar_contains_Rplus.con.types.xml.gz	2004-04-08 10:13	1.6K
	Rstar_contains_Rplus.con.body.xml.gz	2004-04-08 10:13	1.5K
	Rstar_contains_R.con.xml.gz	2004-04-08 10:13	523
	Rstar_contains_R.con.types.xml.gz	2004-04-08 10:13	878
	Rstar_contains_R.con.body.xml.gz	2004-04-08 10:13	705
	Rstar_cases.con.xml.gz	2004-04-08 10:13	820
	Rstar_cases.con.types.xml.gz	2004-04-08 10:13	2.4K
	Rstar_cases.con.body.xml.gz	2004-04-08 10:13	2.1K
	RstarRplus_RRstar.con.xml.gz	2004-04-08 10:13	852
	RstarRplus_RRstar.con.types.xml.gz	2004-04-08 10:13	6.1K
	RstarRplus_RRstar.con.body.xml.gz	2004-04-08 10:13	3.9K
	Rplus_contains_R.con.xml.gz	2004-04-08 10:13	521
	Rplus_contains_R.con.types.xml.gz	2004-04-08 10:13	844
	Rplus_contains_R.con.body.xml.gz	2004-04-08 10:13	641
	Lemma1.con.xml.gz	2004-04-08 10:13	854
	Lemma1.con.types.xml.gz	2004-04-08 10:13	6.9K
	Lemma1.con.body.xml.gz	2004-04-08 10:13	5.7K
	INDEX	2005-07-05 08:12	718