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

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