Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/LIMITS/Discr

	Name	Last modified	Size	Description
	Parent Directory		-
	discrete/	2005-07-05 08:14	-
	Discr.con.types.xml.gz	2004-04-08 14:41	211
	Id_Discr.con.types.xml.gz	2004-04-08 14:41	217
	Discr_mor.ind.types.xml.gz	2004-04-08 14:41	218
	Comp_Discr.con.types.xml.gz	2004-04-08 14:41	220
	Discr_mor_rec.con.types.xml.gz	2004-04-08 14:41	225
	Comp_Discr_mor.con.types.xml.gz	2004-04-08 14:41	227
	Discr_mor_ind1.con.types.xml.gz	2004-04-08 14:41	227
	Discr_mor_rect.con.types.xml.gz	2004-04-08 14:41	227
	Equal_Discr_mor.con.types.xml.gz	2004-04-08 14:41	229
	Discr_mor_setoid.con.types.xml.gz	2004-04-08 14:41	230
	Discr.con.xml.gz	2004-04-08 14:41	270
	Discr_mor_setoid.con.xml.gz	2004-04-08 14:41	303
	Id_Discr.con.xml.gz	2004-04-08 14:41	386
	Id_Discr.con.body.xml.gz	2004-04-08 14:41	400
	Equal_Discr_mor.con.xml.gz	2004-04-08 14:41	433
	Discr_mor_setoid.con.body.xml.gz	2004-04-08 14:41	437
	Equal_Discr_mor.con.body.xml.gz	2004-04-08 14:41	458
	Equal_Discr_mor_equiv.con.xml.gz	2004-04-08 14:41	459
	Idr_Discr.con.body.xml.gz	2004-04-08 14:41	479
	Idl_Discr.con.body.xml.gz	2004-04-08 14:41	482
	Discr_mor.ind.xml.gz	2004-04-08 14:41	488
	Comp_Discr_mor.con.xml.gz	2004-04-08 14:41	495
	Discr_mor_ind.con.body.xml.gz	2004-04-08 14:41	524
	Discr_mor_rec.con.body.xml.gz	2004-04-08 14:41	524
	Assoc_Discr.con.xml.gz	2004-04-08 14:41	532
	Idr_Discr.con.xml.gz	2004-04-08 14:41	540
	Idl_Discr.con.xml.gz	2004-04-08 14:41	541
	Comp_Discr_congl.con.xml.gz	2004-04-08 14:41	548
	Comp_Discr_congr.con.xml.gz	2004-04-08 14:41	550
	Discr.con.body.xml.gz	2004-04-08 14:41	566
	Comp_Discr.con.xml.gz	2004-04-08 14:41	572
	Comp_Discr_congr.con.body.xml.gz	2004-04-08 14:41	590
	Assoc_Discr.con.body.xml.gz	2004-04-08 14:41	593
	Comp_Discr_congl.con.body.xml.gz	2004-04-08 14:41	632
	Discr_mor_ind1.con.xml.gz	2004-04-08 14:41	668
	Discr_mor_rec.con.xml.gz	2004-04-08 14:41	681
	Discr_mor_rect.con.xml.gz	2004-04-08 14:41	681
	Discr_mor_ind.con.xml.gz	2004-04-08 14:41	689
	Comp_Discr.con.body.xml.gz	2004-04-08 14:41	692
	Discr_mor_ind.con.types.xml.gz	2004-04-08 14:41	863
	Discr_mor_rect.con.body.xml.gz	2004-04-08 14:41	891
	INDEX	2005-07-05 08:14	896
	Comp_Discr_mor.con.body.xml.gz	2004-04-08 14:41	1.0K
	Equal_Discr_mor_equiv.con.body.xml.gz	2004-04-08 14:41	1.1K
	Equal_Discr_mor_equiv.con.types.xml.gz	2004-04-08 14:41	1.3K
	Idl_Discr.con.types.xml.gz	2004-04-08 14:41	1.8K
	Idr_Discr.con.types.xml.gz	2004-04-08 14:41	1.8K
	Comp_Discr_congr.con.types.xml.gz	2004-04-08 14:41	3.0K
	Comp_Discr_congl.con.types.xml.gz	2004-04-08 14:41	3.0K
	Assoc_Discr.con.types.xml.gz	2004-04-08 14:41	5.8K