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

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