Index of /xml/Coq/Sets/Relations_2

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	325
	Relations_2/	2005-07-05 08:13	-
	Rplus.ind.types.xml.gz	2004-04-08 01:32	196
	Rplus.ind.xml.gz	2004-04-08 01:32	644
	Rplus_ind.con.body.xml.gz	2004-04-08 01:32	1.4K
	Rplus_ind.con.types.xml.gz	2004-04-08 01:32	1.3K
	Rplus_ind.con.xml.gz	2004-04-08 01:32	777
	Rstar.ind.types.xml.gz	2004-04-08 01:32	196
	Rstar.ind.xml.gz	2004-04-08 01:32	610
	Rstar1.ind.types.xml.gz	2004-04-08 01:32	197
	Rstar1.ind.xml.gz	2004-04-08 01:32	685
	Rstar1_ind.con.body.xml.gz	2004-04-08 01:32	1.6K
	Rstar1_ind.con.types.xml.gz	2004-04-08 01:32	1.5K
	Rstar1_ind.con.xml.gz	2004-04-08 01:32	861
	Rstar_ind.con.body.xml.gz	2004-04-08 01:32	1.3K
	Rstar_ind.con.types.xml.gz	2004-04-08 01:32	1.2K
	Rstar_ind.con.xml.gz	2004-04-08 01:32	741
	Strongly_confluent.con.body.xml.gz	2004-04-08 01:32	620
	Strongly_confluent.con.types.xml.gz	2004-04-08 01:32	218
	Strongly_confluent.con.xml.gz	2004-04-08 01:32	258