Index of /xml/Coq/ring/Setoid_ring_theory/Setoid_rings/Theory_of_setoid_rings

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:14	514
	T.var.types.xml.gz	2004-04-08 01:52	203
	T.var.xml.gz	2004-04-08 01:52	284
	distr_left.var.types.xml.gz	2004-04-08 01:52	542
	distr_left.var.xml.gz	2004-04-08 01:52	623
	equiv_refl.var.types.xml.gz	2004-04-08 01:52	390
	equiv_refl.var.xml.gz	2004-04-08 01:52	485
	equiv_sym.var.types.xml.gz	2004-04-08 01:52	446
	equiv_sym.var.xml.gz	2004-04-08 01:52	539
	equiv_trans.var.types.xml.gz	2004-04-08 01:52	484
	equiv_trans.var.xml.gz	2004-04-08 01:52	590
	mult_assoc.var.types.xml.gz	2004-04-08 01:52	514
	mult_assoc.var.xml.gz	2004-04-08 01:52	589
	mult_comm.var.types.xml.gz	2004-04-08 01:52	451
	mult_comm.var.xml.gz	2004-04-08 01:52	536
	mult_one_left.var.types.xml.gz	2004-04-08 01:52	426
	mult_one_left.var.xml.gz	2004-04-08 01:52	502
	opp_def.var.types.xml.gz	2004-04-08 01:52	439
	opp_def.var.xml.gz	2004-04-08 01:52	514
	plus_assoc.var.types.xml.gz	2004-04-08 01:52	514
	plus_assoc.var.xml.gz	2004-04-08 01:52	590
	plus_comm.var.types.xml.gz	2004-04-08 01:52	451
	plus_comm.var.xml.gz	2004-04-08 01:52	533
	plus_zero_left.var.types.xml.gz	2004-04-08 01:52	428
	plus_zero_left.var.xml.gz	2004-04-08 01:52	504