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

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