Index of /xml/Coq/ring/Setoid_ring_normalize/setoid

	Name	Last modified	Size	Description
	Parent Directory		-
	A.var.types.xml.gz	2004-04-08 01:52	198
	A.var.xml.gz	2004-04-08 01:52	199
	Aeq.var.types.xml.gz	2004-04-08 01:52	201
	Aeq.var.xml.gz	2004-04-08 01:52	328
	Aequiv.var.types.xml.gz	2004-04-08 01:52	206
	Aequiv.var.xml.gz	2004-04-08 01:52	316
	Amult.var.types.xml.gz	2004-04-08 01:52	205
	Amult.var.xml.gz	2004-04-08 01:52	304
	Aone.var.types.xml.gz	2004-04-08 01:52	203
	Aone.var.xml.gz	2004-04-08 01:52	243
	Aopp.var.types.xml.gz	2004-04-08 01:52	203
	Aopp.var.xml.gz	2004-04-08 01:52	292
	Aplus.var.types.xml.gz	2004-04-08 01:52	205
	Aplus.var.xml.gz	2004-04-08 01:52	304
	Azero.var.types.xml.gz	2004-04-08 01:52	204
	Azero.var.xml.gz	2004-04-08 01:52	245
	INDEX	2005-07-05 08:13	579
	S.var.types.xml.gz	2004-04-08 01:52	197
	S.var.xml.gz	2004-04-08 01:52	338
	equiv_refl.var.types.xml.gz	2004-04-08 01:52	384
	equiv_refl.var.xml.gz	2004-04-08 01:52	489
	equiv_sym.var.types.xml.gz	2004-04-08 01:52	440
	equiv_sym.var.xml.gz	2004-04-08 01:52	541
	equiv_trans.var.types.xml.gz	2004-04-08 01:52	478
	equiv_trans.var.xml.gz	2004-04-08 01:52	591
	mult_morph.var.types.xml.gz	2004-04-08 01:52	212
	mult_morph.var.xml.gz	2004-04-08 01:52	544
	opp_morph.var.types.xml.gz	2004-04-08 01:52	211
	opp_morph.var.xml.gz	2004-04-08 01:52	463
	plus_morph.var.types.xml.gz	2004-04-08 01:52	213
	plus_morph.var.xml.gz	2004-04-08 01:52	545
	semi_setoid_rings/	2005-07-05 08:14	-
	setoid_rings/	2005-07-05 08:14	-