Index of /xml/Sophia-Antipolis/Algebra/Ring_util

	Name	Last modified	Size	Description
	Parent Directory		-
	BUILD_HOM_RING.con.body.xml.gz	2006-03-28 19:04	659
	BUILD_HOM_RING.con.types.xml.gz	2006-03-28 19:04	225
	BUILD_HOM_RING.con.xml.gz	2006-03-28 19:04	479
	BUILD_HOM_RING_subproof.con.body.xml.gz	2006-03-28 19:04	321
	BUILD_HOM_RING_subproof.con.types.xml.gz	2006-03-28 19:04	1.0K
	BUILD_HOM_RING_subproof.con.xml.gz	2006-03-28 19:04	902
	BUILD_HOM_RING_subproof0.con.body.xml.gz	2006-03-28 19:04	325
	BUILD_HOM_RING_subproof0.con.types.xml.gz	2006-03-28 19:04	1.3K
	BUILD_HOM_RING_subproof0.con.xml.gz	2006-03-28 19:04	897
	BUILD_RING.con.body.xml.gz	2006-03-28 19:04	590
	BUILD_RING.con.types.xml.gz	2006-03-28 19:04	218
	BUILD_RING.con.xml.gz	2006-03-28 19:04	395
	BUILD_RING_subproof.con.body.xml.gz	2006-03-28 19:04	1.0K
	BUILD_RING_subproof.con.types.xml.gz	2006-03-28 19:04	15K
	BUILD_RING_subproof.con.xml.gz	2006-03-28 19:04	774
	BUILD_RING_subproof0.con.body.xml.gz	2006-03-28 19:04	373
	BUILD_RING_subproof0.con.types.xml.gz	2006-03-28 19:04	1.0K
	BUILD_RING_subproof0.con.xml.gz	2006-03-28 19:04	767
	G.con.body.xml.gz	2006-03-28 19:04	522
	G.con.types.xml.gz	2006-03-28 19:04	200
	G.con.xml.gz	2006-03-28 19:04	358
	Hom/	2006-03-28 19:04	-
	M.con.body.xml.gz	2006-03-28 19:04	445
	M.con.types.xml.gz	2006-03-28 19:04	199
	M.con.xml.gz	2006-03-28 19:04	329
	Ring/	2006-03-28 19:04	-