Index of /xml/Coq/ring/Ring_theory/Theory_of_rings

	Name	Last modified	Size	Description
	Parent Directory		-
	plus_zero_left.var.xml.gz	2004-04-08 01:29	521
	plus_zero_left.var.types.xml.gz	2004-04-08 01:29	452
	plus_comm.var.xml.gz	2004-04-08 01:29	550
	plus_comm.var.types.xml.gz	2004-04-08 01:29	474
	plus_assoc.var.xml.gz	2004-04-08 01:29	605
	plus_assoc.var.types.xml.gz	2004-04-08 01:29	539
	opp_def.var.xml.gz	2004-04-08 01:29	533
	opp_def.var.types.xml.gz	2004-04-08 01:29	462
	mult_one_left.var.xml.gz	2004-04-08 01:29	522
	mult_one_left.var.types.xml.gz	2004-04-08 01:29	450
	mult_comm.var.xml.gz	2004-04-08 01:29	552
	mult_comm.var.types.xml.gz	2004-04-08 01:29	474
	mult_assoc.var.xml.gz	2004-04-08 01:29	605
	mult_assoc.var.types.xml.gz	2004-04-08 01:29	539
	distr_left.var.xml.gz	2004-04-08 01:29	640
	distr_left.var.types.xml.gz	2004-04-08 01:29	566
	T.var.xml.gz	2004-04-08 01:29	279
	T.var.types.xml.gz	2004-04-08 01:29	197
	INDEX	2005-07-05 08:13	604
	Azero.var.xml.gz	2004-04-08 01:29	246
	Azero.var.types.xml.gz	2004-04-08 01:29	205
	Aplus.var.xml.gz	2004-04-08 01:29	303
	Aplus.var.types.xml.gz	2004-04-08 01:29	205
	Aopp.var.xml.gz	2004-04-08 01:29	290
	Aopp.var.types.xml.gz	2004-04-08 01:29	203
	Aone.var.xml.gz	2004-04-08 01:29	244
	Aone.var.types.xml.gz	2004-04-08 01:29	203
	Amult.var.xml.gz	2004-04-08 01:29	303
	Amult.var.types.xml.gz	2004-04-08 01:29	205
	Aeq.var.xml.gz	2004-04-08 01:29	328
	Aeq.var.types.xml.gz	2004-04-08 01:29	201
	A.var.xml.gz	2004-04-08 01:29	199
	A.var.types.xml.gz	2004-04-08 01:29	198