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

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