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

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