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

	Name	Last modified	Size	Description
	Parent Directory		-
	ring_unit.con.xml.gz	2006-03-28 19:04	499
	ring_unit.con.types.xml.gz	2006-03-28 19:04	211
	ring_unit.con.body.xml.gz	2006-03-28 19:04	749
	ring_rect.con.xml.gz	2006-03-28 19:04	564
	ring_rect.con.types.xml.gz	2006-03-28 19:04	211
	ring_rect.con.body.xml.gz	2006-03-28 19:04	707
	ring_rec.con.xml.gz	2006-03-28 19:04	567
	ring_rec.con.types.xml.gz	2006-03-28 19:04	210
	ring_rec.con.body.xml.gz	2006-03-28 19:04	416
	ring_plus_hom.con.xml.gz	2006-03-28 19:04	526
	ring_plus_hom.con.types.xml.gz	2006-03-28 19:04	218
	ring_plus_hom.con.body.xml.gz	2006-03-28 19:04	1.4K
	ring_on_rect.con.xml.gz	2006-03-28 19:04	1.6K
	ring_on_rect.con.types.xml.gz	2006-03-28 19:04	216
	ring_on_rect.con.body.xml.gz	2006-03-28 19:04	1.8K
	ring_on_rec.con.xml.gz	2006-03-28 19:04	1.6K
	ring_on_rec.con.types.xml.gz	2006-03-28 19:04	214
	ring_on_rec.con.body.xml.gz	2006-03-28 19:04	500
	ring_on_ind.con.xml.gz	2006-03-28 19:04	1.6K
	ring_on_ind.con.types.xml.gz	2006-03-28 19:04	2.5K
	ring_on_ind.con.body.xml.gz	2006-03-28 19:04	502
	ring_on_def.con.xml.gz	2006-03-28 19:04	392
	ring_on_def.con.types.xml.gz	2006-03-28 19:04	215
	ring_on_def.con.body.xml.gz	2006-03-28 19:04	594
	ring_on.ind.xml.gz	2006-03-28 19:04	1.5K
	ring_on.ind.types.xml.gz	2006-03-28 19:04	207
	ring_mult_sgroup.con.xml.gz	2006-03-28 19:04	525
	ring_mult_sgroup.con.types.xml.gz	2006-03-28 19:04	224
	ring_mult_sgroup.con.body.xml.gz	2006-03-28 19:04	1.6K
	ring_mult_monoid.con.xml.gz	2006-03-28 19:04	600
	ring_mult_monoid.con.types.xml.gz	2006-03-28 19:04	223
	ring_mult_monoid.con.body.xml.gz	2006-03-28 19:04	1.7K
	ring_mult_hom_unit_prop.con.xml.gz	2006-03-28 19:04	645
	ring_mult_hom_unit_prop.con.types.xml.gz	2006-03-28 19:04	237
	ring_mult_hom_unit_prop.con.body.xml.gz	2006-03-28 19:04	1.0K
	ring_mult_hom_unit.con.xml.gz	2006-03-28 19:04	783
	ring_mult_hom_unit.con.types.xml.gz	2006-03-28 19:04	2.5K
	ring_mult_hom_unit.con.body.xml.gz	2006-03-28 19:04	1.5K
	ring_mult_hom_prop.con.xml.gz	2006-03-28 19:04	638
	ring_mult_hom_prop.con.types.xml.gz	2006-03-28 19:04	227
	ring_mult_hom_prop.con.body.xml.gz	2006-03-28 19:04	1.5K
	ring_mult_hom_prf.con.xml.gz	2006-03-28 19:04	780
	ring_mult_hom_prf.con.types.xml.gz	2006-03-28 19:04	2.5K
	ring_mult_hom_prf.con.body.xml.gz	2006-03-28 19:04	1.5K
	ring_mult.con.xml.gz	2006-03-28 19:04	650
	ring_mult.con.types.xml.gz	2006-03-28 19:04	212
	ring_mult.con.body.xml.gz	2006-03-28 19:04	1.4K
	ring_monoid.con.xml.gz	2006-03-28 19:04	656
	ring_monoid.con.types.xml.gz	2006-03-28 19:04	214
	ring_monoid.con.body.xml.gz	2006-03-28 19:04	1.7K
	ring_ind.con.xml.gz	2006-03-28 19:04	573
	ring_ind.con.types.xml.gz	2006-03-28 19:04	713
	ring_ind.con.body.xml.gz	2006-03-28 19:04	418
	ring_id.con.xml.gz	2006-03-28 19:04	387
	ring_id.con.types.xml.gz	2006-03-28 19:04	4.2K
	ring_id.con.body.xml.gz	2006-03-28 19:04	1.1K
	ring_hom_rect.con.xml.gz	2006-03-28 19:04	1.3K
	ring_hom_rect.con.types.xml.gz	2006-03-28 19:04	218
	ring_hom_rect.con.body.xml.gz	2006-03-28 19:04	1.5K
	ring_hom_rec.con.xml.gz	2006-03-28 19:04	1.3K
	ring_hom_rec.con.types.xml.gz	2006-03-28 19:04	216
	ring_hom_rec.con.body.xml.gz	2006-03-28 19:04	443
	ring_hom_ind.con.xml.gz	2006-03-28 19:04	1.3K
	ring_hom_ind.con.types.xml.gz	2006-03-28 19:04	2.0K
	ring_hom_ind.con.body.xml.gz	2006-03-28 19:04	444
	ring_hom_comp.con.xml.gz	2006-03-28 19:04	505
	ring_hom_comp.con.types.xml.gz	2006-03-28 19:04	31K
	ring_hom_comp.con.body.xml.gz	2006-03-28 19:04	14K
	ring_hom.ind.xml.gz	2006-03-28 19:04	1.2K
	ring_hom.ind.types.xml.gz	2006-03-28 19:04	209
	ring_group.con.xml.gz	2006-03-28 19:04	312
	ring_group.con.types.xml.gz	2006-03-28 19:04	213
	ring_group.con.body.xml.gz	2006-03-28 19:04	538
	ring_dist_r_prf.con.xml.gz	2006-03-28 19:04	807
	ring_dist_r_prf.con.types.xml.gz	2006-03-28 19:04	2.8K
	ring_dist_r_prf.con.body.xml.gz	2006-03-28 19:04	1.9K
	ring_dist_l_prf.con.xml.gz	2006-03-28 19:04	807
	ring_dist_l_prf.con.types.xml.gz	2006-03-28 19:04	2.8K
	ring_dist_l_prf.con.body.xml.gz	2006-03-28 19:04	1.9K
	ring.ind.xml.gz	2006-03-28 19:04	457
	ring.ind.types.xml.gz	2006-03-28 19:04	203
	dist_r.con.xml.gz	2006-03-28 19:04	455
	dist_r.con.types.xml.gz	2006-03-28 19:04	206
	dist_r.con.body.xml.gz	2006-03-28 19:04	1.5K
	dist_l.con.xml.gz	2006-03-28 19:04	455
	dist_l.con.types.xml.gz	2006-03-28 19:04	206
	dist_l.con.body.xml.gz	2006-03-28 19:04	1.5K
	cring_ring.con.xml.gz	2006-03-28 19:04	300
	cring_ring.con.types.xml.gz	2006-03-28 19:04	212
	cring_ring.con.body.xml.gz	2006-03-28 19:04	520
	cring_rect.con.xml.gz	2006-03-28 19:04	553
	cring_rect.con.types.xml.gz	2006-03-28 19:04	213
	cring_rect.con.body.xml.gz	2006-03-28 19:04	695
	cring_rec.con.xml.gz	2006-03-28 19:04	556
	cring_rec.con.types.xml.gz	2006-03-28 19:04	211
	cring_rec.con.body.xml.gz	2006-03-28 19:04	418
	cring_on_rect.con.xml.gz	2006-03-28 19:04	1.4K
	cring_on_rect.con.types.xml.gz	2006-03-28 19:04	218
	cring_on_rect.con.body.xml.gz	2006-03-28 19:04	1.6K
	cring_on_rec.con.xml.gz	2006-03-28 19:04	1.4K
	cring_on_rec.con.types.xml.gz	2006-03-28 19:04	216
	cring_on_rec.con.body.xml.gz	2006-03-28 19:04	491
	cring_on_ind.con.xml.gz	2006-03-28 19:04	1.4K
	cring_on_ind.con.types.xml.gz	2006-03-28 19:04	2.1K
	cring_on_ind.con.body.xml.gz	2006-03-28 19:04	491
	cring_on_def.con.xml.gz	2006-03-28 19:04	391
	cring_on_def.con.types.xml.gz	2006-03-28 19:04	216
	cring_on_def.con.body.xml.gz	2006-03-28 19:04	582
	cring_on.ind.xml.gz	2006-03-28 19:04	1.3K
	cring_on.ind.types.xml.gz	2006-03-28 19:04	209
	cring_monoid.con.xml.gz	2006-03-28 19:04	320
	cring_monoid.con.types.xml.gz	2006-03-28 19:04	2.4K
	cring_monoid.con.body.xml.gz	2006-03-28 19:04	1.7K
	cring_ind.con.xml.gz	2006-03-28 19:04	562
	cring_ind.con.types.xml.gz	2006-03-28 19:04	702
	cring_ind.con.body.xml.gz	2006-03-28 19:04	419
	cring_com_prf.con.xml.gz	2006-03-28 19:04	1.2K
	cring_com_prf.con.types.xml.gz	2006-03-28 19:04	3.1K
	cring_com_prf.con.body.xml.gz	2006-03-28 19:04	2.1K
	cring.ind.xml.gz	2006-03-28 19:04	445
	cring.ind.types.xml.gz	2006-03-28 19:04	205
	RING.con.xml.gz	2006-03-28 19:04	244
	RING.con.types.xml.gz	2006-03-28 19:04	589K
	RING.con.body.xml.gz	2006-03-28 19:04	2.7K
	Hom/	2006-03-28 19:04	-
	CRING.con.xml.gz	2006-03-28 19:04	246
	CRING.con.types.xml.gz	2006-03-28 19:04	206
	CRING.con.body.xml.gz	2006-03-28 19:04	371