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

	Name	Last modified	Size	Description
	Parent Directory		-
	Prf_CoCone_nt_law.con.types.xml.gz	2004-04-08 14:41	4.2K
	Eq_coCone.con.types.xml.gz	2004-04-08 14:41	3.8K
	Cldiese_map.con.types.xml.gz	2004-04-08 14:41	3.6K
	Co_EqC1.con.types.xml.gz	2004-04-08 14:41	2.8K
	Cldiese_map.con.body.xml.gz	2004-04-08 14:41	1.8K
	Eq_coCone.con.body.xml.gz	2004-04-08 14:41	1.7K
	Co_EqC.con.types.xml.gz	2004-04-08 14:41	1.4K
	Prf_CoCone_nt_law.con.body.xml.gz	2004-04-08 14:41	1.4K
	Co_EqC1.con.body.xml.gz	2004-04-08 14:41	1.4K
	INDEX	2005-07-05 08:14	1.3K
	Co_EqC1.con.xml.gz	2004-04-08 14:41	1.3K
	CoLimit_eq.con.body.xml.gz	2004-04-08 14:41	1.3K
	Co_EqC.con.xml.gz	2004-04-08 14:41	1.3K
	IsColimit_ind.con.types.xml.gz	2004-04-08 14:41	1.2K
	Prf_colimit2.con.types.xml.gz	2004-04-08 14:41	1.1K
	Prf_colimit1.con.types.xml.gz	2004-04-08 14:41	1.1K
	IsColimit_rect.con.body.xml.gz	2004-04-08 14:41	1.1K
	Colim_diese.con.body.xml.gz	2004-04-08 14:41	1.0K
	Colimit_ind.con.types.xml.gz	2004-04-08 14:41	1.0K
	Prf_colimit2.con.body.xml.gz	2004-04-08 14:41	1.0K
	Prf_colimit1.con.body.xml.gz	2004-04-08 14:41	1.0K
	IsColimit_ind.con.xml.gz	2004-04-08 14:41	964
	IsColimit_rect.con.xml.gz	2004-04-08 14:41	962
	IsColimit_rec.con.xml.gz	2004-04-08 14:41	962
	Cldiese_map.con.xml.gz	2004-04-08 14:41	942
	Colimit_rect.con.body.xml.gz	2004-04-08 14:41	923
	CoCone_law.con.body.xml.gz	2004-04-08 14:41	884
	Prf_IsColimit.con.body.xml.gz	2004-04-08 14:41	844
	Limiting_cocone.con.body.xml.gz	2004-04-08 14:41	831
	IsColimit.ind.xml.gz	2004-04-08 14:41	826
	Colimit_ind.con.xml.gz	2004-04-08 14:41	796
	Colimit_rect.con.xml.gz	2004-04-08 14:41	791
	Colimit_rec.con.xml.gz	2004-04-08 14:41	791
	CoLimit_law2.con.body.xml.gz	2004-04-08 14:41	763
	Colim.con.body.xml.gz	2004-04-08 14:41	762
	Colimit.ind.xml.gz	2004-04-08 14:41	670
	Id_CoCone_NT.con.body.xml.gz	2004-04-08 14:41	629
	Colim_diese.con.xml.gz	2004-04-08 14:41	622
	Eq_coCone.con.xml.gz	2004-04-08 14:41	612
	CoLimit_eq.con.xml.gz	2004-04-08 14:41	606
	CoLimit_law1.con.body.xml.gz	2004-04-08 14:41	605
	Build_CoCone.con.body.xml.gz	2004-04-08 14:41	578
	Prf_CoCone_nt_law.con.xml.gz	2004-04-08 14:41	562
	Cocomplete.con.body.xml.gz	2004-04-08 14:41	556
	Id_CoCone_NT.con.xml.gz	2004-04-08 14:41	529
	Limiting_cocone.con.xml.gz	2004-04-08 14:41	508
	Build_CoCone.con.types.xml.gz	2004-04-08 14:41	505
	Prf_IsColimit.con.xml.gz	2004-04-08 14:41	497
	Prf_colimit2.con.xml.gz	2004-04-08 14:41	491
	Prf_colimit1.con.xml.gz	2004-04-08 14:41	491
	IsColimit_ind.con.body.xml.gz	2004-04-08 14:41	474
	IsColimit_rec.con.body.xml.gz	2004-04-08 14:41	472
	CoCone.con.body.xml.gz	2004-04-08 14:41	461
	Colimit_ind.con.body.xml.gz	2004-04-08 14:41	455
	Colimit_rec.con.body.xml.gz	2004-04-08 14:41	454
	Colim.con.xml.gz	2004-04-08 14:41	385
	Cocomplete.con.xml.gz	2004-04-08 14:41	314
	CoLimit_law2.con.xml.gz	2004-04-08 14:41	302
	Build_CoCone.con.xml.gz	2004-04-08 14:41	302
	CoLimit_law1.con.xml.gz	2004-04-08 14:41	301
	Co_EqC.con.body.xml.gz	2004-04-08 14:41	292
	CoCone_law.con.xml.gz	2004-04-08 14:41	284
	CoCone.con.xml.gz	2004-04-08 14:41	267
	Limiting_cocone.con.types.xml.gz	2004-04-08 14:41	229
	IsColimit_rect.con.types.xml.gz	2004-04-08 14:41	228
	Prf_IsColimit.con.types.xml.gz	2004-04-08 14:41	226
	IsColimit_rec.con.types.xml.gz	2004-04-08 14:41	226
	Id_CoCone_NT.con.types.xml.gz	2004-04-08 14:41	225
	Colimit_rect.con.types.xml.gz	2004-04-08 14:41	224
	Colim_diese.con.types.xml.gz	2004-04-08 14:41	224
	CoLimit_law2.con.types.xml.gz	2004-04-08 14:41	223
	CoLimit_law1.con.types.xml.gz	2004-04-08 14:41	223
	Colimit_rec.con.types.xml.gz	2004-04-08 14:41	222
	CoCone_law.con.types.xml.gz	2004-04-08 14:41	222
	Cocomplete.con.types.xml.gz	2004-04-08 14:41	221
	IsColimit.ind.types.xml.gz	2004-04-08 14:41	219
	CoLimit_eq.con.types.xml.gz	2004-04-08 14:41	219
	CoCone.con.types.xml.gz	2004-04-08 14:41	215
	Colimit.ind.types.xml.gz	2004-04-08 14:41	214
	Colim.con.types.xml.gz	2004-04-08 14:41	213
	def_cocone/	2005-07-05 08:14	-
	colimit_def/	2005-07-05 08:14	-