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

	Name	Last modified	Size	Description
	Parent Directory		-
	Arrow.con.body.xml.gz	2004-04-08 14:39	756
	Arrow.con.types.xml.gz	2004-04-08 14:39	215
	Arrow.con.xml.gz	2004-04-08 14:39	489
	Arrs.ind.types.xml.gz	2004-04-08 14:39	212
	Arrs.ind.xml.gz	2004-04-08 14:39	582
	Arrs_ind.con.body.xml.gz	2004-04-08 14:39	447
	Arrs_ind.con.types.xml.gz	2004-04-08 14:39	911
	Arrs_ind.con.xml.gz	2004-04-08 14:39	702
	Arrs_rec.con.body.xml.gz	2004-04-08 14:39	446
	Arrs_rec.con.types.xml.gz	2004-04-08 14:39	220
	Arrs_rec.con.xml.gz	2004-04-08 14:39	696
	Arrs_rect.con.body.xml.gz	2004-04-08 14:39	828
	Arrs_rect.con.types.xml.gz	2004-04-08 14:39	222
	Arrs_rect.con.xml.gz	2004-04-08 14:39	700
	Codom.con.body.xml.gz	2004-04-08 14:39	677
	Codom.con.types.xml.gz	2004-04-08 14:39	215
	Codom.con.xml.gz	2004-04-08 14:39	377
	Dom.con.body.xml.gz	2004-04-08 14:39	675
	Dom.con.types.xml.gz	2004-04-08 14:39	212
	Dom.con.xml.gz	2004-04-08 14:39	373
	Equal_Arrs.con.body.xml.gz	2004-04-08 14:39	542
	Equal_Arrs.con.types.xml.gz	2004-04-08 14:39	222
	Equal_Arrs.con.xml.gz	2004-04-08 14:39	347
	Equal_Arrs_equiv.con.body.xml.gz	2004-04-08 14:39	1.1K
	Equal_Arrs_equiv.con.types.xml.gz	2004-04-08 14:39	1.8K
	Equal_Arrs_equiv.con.xml.gz	2004-04-08 14:39	394
	Equal_hom.ind.types.xml.gz	2004-04-08 14:39	220
	Equal_hom.ind.xml.gz	2004-04-08 14:39	1.0K
	Equal_hom_ind.con.body.xml.gz	2004-04-08 14:39	1.4K
	Equal_hom_ind.con.types.xml.gz	2004-04-08 14:39	1.1K
	Equal_hom_ind.con.xml.gz	2004-04-08 14:39	1.1K
	Equal_hom_refl.con.body.xml.gz	2004-04-08 14:39	471
	Equal_hom_refl.con.types.xml.gz	2004-04-08 14:39	466
	Equal_hom_refl.con.xml.gz	2004-04-08 14:39	379
	Equal_hom_sym.con.body.xml.gz	2004-04-08 14:39	1.1K
	Equal_hom_sym.con.types.xml.gz	2004-04-08 14:39	918
	Equal_hom_sym.con.xml.gz	2004-04-08 14:39	489
	Equal_hom_trans.con.body.xml.gz	2004-04-08 14:39	1.7K
	Equal_hom_trans.con.types.xml.gz	2004-04-08 14:39	1.3K
	Equal_hom_trans.con.xml.gz	2004-04-08 14:39	567
	INDEX	2005-07-05 08:14	694
	arrs_setoid_def/	2005-07-05 08:14	-
	equal_hom_equiv/	2005-07-05 08:14	-