Index of /xml/Rocq/ALGEBRA/SETOID/STRUCTURE/Group

	Name	Last modified	Size	Description
	Parent Directory		-
	group_laws/	2005-07-05 08:14	-
	INDEX	2005-07-05 08:14	512
	Prf_ginv_r.con.xml.gz	2004-04-08 14:39	458
	Prf_ginv_r.con.types.xml.gz	2004-04-08 14:39	1.1K
	Prf_ginv_r.con.body.xml.gz	2004-04-08 14:39	838
	Prf_ginv_l.con.xml.gz	2004-04-08 14:39	458
	Prf_ginv_l.con.types.xml.gz	2004-04-08 14:39	1.1K
	Prf_ginv_l.con.body.xml.gz	2004-04-08 14:39	836
	Inverses_rel.con.xml.gz	2004-04-08 14:39	425
	Inverses_rel.con.types.xml.gz	2004-04-08 14:39	221
	Inverses_rel.con.body.xml.gz	2004-04-08 14:39	542
	Group_rect.con.xml.gz	2004-04-08 14:39	803
	Group_rect.con.types.xml.gz	2004-04-08 14:39	216
	Group_rect.con.body.xml.gz	2004-04-08 14:39	930
	Group_rec.con.xml.gz	2004-04-08 14:39	798
	Group_rec.con.types.xml.gz	2004-04-08 14:39	215
	Group_rec.con.body.xml.gz	2004-04-08 14:39	421
	Group_invr.con.xml.gz	2004-04-08 14:39	263
	Group_invr.con.types.xml.gz	2004-04-08 14:39	216
	Group_invr.con.body.xml.gz	2004-04-08 14:39	561
	Group_invl.con.xml.gz	2004-04-08 14:39	263
	Group_invl.con.types.xml.gz	2004-04-08 14:39	216
	Group_invl.con.body.xml.gz	2004-04-08 14:39	565
	Group_ind.con.xml.gz	2004-04-08 14:39	801
	Group_ind.con.types.xml.gz	2004-04-08 14:39	1.0K
	Group_ind.con.body.xml.gz	2004-04-08 14:39	421
	Group.ind.xml.gz	2004-04-08 14:39	667
	Group.ind.types.xml.gz	2004-04-08 14:39	206
	Gmon.con.xml.gz	2004-04-08 14:39	299
	Gmon.con.types.xml.gz	2004-04-08 14:39	206
	Gmon.con.body.xml.gz	2004-04-08 14:39	746
	Ginv.con.xml.gz	2004-04-08 14:39	481
	Ginv.con.types.xml.gz	2004-04-08 14:39	205
	Ginv.con.body.xml.gz	2004-04-08 14:39	840