Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/CATEGORY/FullSubCat

	Name	Last modified	Size	Description
	Parent Directory		-
	fscat/	2005-07-05 08:14	-
	FullSubCat.con.types.xml.gz	2004-04-08 14:39	216
	Id_FSC.con.types.xml.gz	2004-04-08 14:39	216
	Comp_FSC.con.types.xml.gz	2004-04-08 14:39	219
	FSC_mor_setoid.con.types.xml.gz	2004-04-08 14:39	230
	FullSubCat.con.xml.gz	2004-04-08 14:39	282
	INDEX	2005-07-05 08:14	332
	FSC_mor_setoid.con.xml.gz	2004-04-08 14:39	369
	Assoc_FSC.con.xml.gz	2004-04-08 14:39	391
	Idl_FSC.con.xml.gz	2004-04-08 14:39	404
	Idr_FSC.con.xml.gz	2004-04-08 14:39	404
	FullSubCat.con.body.xml.gz	2004-04-08 14:39	417
	Id_FSC.con.body.xml.gz	2004-04-08 14:39	424
	Id_FSC.con.xml.gz	2004-04-08 14:39	470
	FSC_mor_setoid.con.body.xml.gz	2004-04-08 14:39	472
	Comp_FSC.con.body.xml.gz	2004-04-08 14:39	511
	Comp_FSC.con.xml.gz	2004-04-08 14:39	565
	Idl_FSC.con.body.xml.gz	2004-04-08 14:39	576
	Idr_FSC.con.body.xml.gz	2004-04-08 14:39	576
	Assoc_FSC.con.body.xml.gz	2004-04-08 14:39	768
	Idr_FSC.con.types.xml.gz	2004-04-08 14:39	1.1K
	Idl_FSC.con.types.xml.gz	2004-04-08 14:39	1.1K
	Assoc_FSC.con.types.xml.gz	2004-04-08 14:39	1.8K