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

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