Index of /xml/Rocq/ALGEBRA/RELATIONS/CONFLUENCE/Confluence

	Name	Last modified	Size	Description
	Parent Directory		-
	locally_confluent.con.xml.gz	2004-04-08 14:39	337
	locally_confluent.con.types.xml.gz	2004-04-08 14:39	233
	locally_confluent.con.body.xml.gz	2004-04-08 14:39	540
	confluent.con.xml.gz	2004-04-08 14:39	323
	confluent.con.types.xml.gz	2004-04-08 14:39	218
	confluent.con.body.xml.gz	2004-04-08 14:39	544
	coherent.con.xml.gz	2004-04-08 14:39	334
	coherent.con.types.xml.gz	2004-04-08 14:39	220
	coherent.con.body.xml.gz	2004-04-08 14:39	546
	Strongly_confluent.con.xml.gz	2004-04-08 14:39	278
	Strongly_confluent.con.types.xml.gz	2004-04-08 14:39	234
	Strongly_confluent.con.body.xml.gz	2004-04-08 14:39	644
	Rstar_ind.con.xml.gz	2004-04-08 14:39	765
	Rstar_ind.con.types.xml.gz	2004-04-08 14:39	1.3K
	Rstar_ind.con.body.xml.gz	2004-04-08 14:39	1.4K
	Rstar1_ind.con.xml.gz	2004-04-08 14:39	888
	Rstar1_ind.con.types.xml.gz	2004-04-08 14:39	1.6K
	Rstar1_ind.con.body.xml.gz	2004-04-08 14:39	1.6K
	Rstar1.ind.xml.gz	2004-04-08 14:39	710
	Rstar1.ind.types.xml.gz	2004-04-08 14:39	217
	Rstar.ind.xml.gz	2004-04-08 14:39	636
	Rstar.ind.types.xml.gz	2004-04-08 14:39	215
	Rplus_ind.con.xml.gz	2004-04-08 14:39	804
	Rplus_ind.con.types.xml.gz	2004-04-08 14:39	1.3K
	Rplus_ind.con.body.xml.gz	2004-04-08 14:39	1.5K
	Rplus.ind.xml.gz	2004-04-08 14:39	670
	Rplus.ind.types.xml.gz	2004-04-08 14:39	214
	Locally_confluent.con.xml.gz	2004-04-08 14:39	275
	Locally_confluent.con.types.xml.gz	2004-04-08 14:39	233
	Locally_confluent.con.body.xml.gz	2004-04-08 14:39	399
	INDEX	2005-07-05 08:14	589
	Confluent.con.xml.gz	2004-04-08 14:39	259
	Confluent.con.types.xml.gz	2004-04-08 14:39	219
	Confluent.con.body.xml.gz	2004-04-08 14:39	382
	Confluence/	2005-07-05 08:14	-