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

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