Index of /xml/CoRN/model/setoids/Nfinsetoid

	Name	Last modified	Size	Description
	Parent Directory		-
	Fap_tight_subproof.con.body.xml.gz	2004-11-09 17:51	11K
	Fap_cotransitive.con.types.xml.gz	2004-11-09 17:51	10K
	Fap_tight_subproof.con.types.xml.gz	2004-11-09 17:51	7.8K
	Fap_tight.con.types.xml.gz	2004-11-09 17:51	5.5K
	Fap_cotransitive.con.body.xml.gz	2004-11-09 17:51	5.2K
	Fap_symmetric.con.types.xml.gz	2004-11-09 17:51	4.8K
	Fap_tight.con.body.xml.gz	2004-11-09 17:51	3.5K
	Fap_symmetric.con.body.xml.gz	2004-11-09 17:51	2.7K
	Fap_irreflexive.con.types.xml.gz	2004-11-09 17:51	2.5K
	Fap_irreflexive.con.body.xml.gz	2004-11-09 17:51	1.5K
	Fap.con.body.xml.gz	2004-11-09 17:51	1.0K
	Feq.con.body.xml.gz	2004-11-09 17:51	938
	F_ind.con.types.xml.gz	2004-11-09 17:51	824
	F_prf.con.types.xml.gz	2004-11-09 17:51	822
	F_rect.con.body.xml.gz	2004-11-09 17:51	818
	Fap_tight_subproof.con.xml.gz	2004-11-09 17:51	686
	F_prf.con.body.xml.gz	2004-11-09 17:51	684
	less.con.types.xml.gz	2004-11-09 17:51	676
	INDEX	2005-07-05 08:13	676
	F_ind.con.xml.gz	2004-11-09 17:51	655
	F_rec.con.xml.gz	2004-11-09 17:51	653
	F_rect.con.xml.gz	2004-11-09 17:51	650
	F_crr.con.body.xml.gz	2004-11-09 17:51	617
	less.con.body.xml.gz	2004-11-09 17:51	567
	F.ind.xml.gz	2004-11-09 17:51	526
	Fap_tight.con.xml.gz	2004-11-09 17:51	525
	Fap_cotransitive.con.xml.gz	2004-11-09 17:51	506
	CSetoid_of_less.con.body.xml.gz	2004-11-09 17:51	506
	Fap_irreflexive.con.xml.gz	2004-11-09 17:51	505
	Fap_symmetric.con.xml.gz	2004-11-09 17:51	501
	F_ind.con.body.xml.gz	2004-11-09 17:51	492
	F_rec.con.body.xml.gz	2004-11-09 17:51	483
	F_prf.con.xml.gz	2004-11-09 17:51	450
	less.con.xml.gz	2004-11-09 17:51	435
	Fap.con.xml.gz	2004-11-09 17:51	412
	Feq.con.xml.gz	2004-11-09 17:51	396
	F_crr.con.xml.gz	2004-11-09 17:51	372
	CSetoid_of_less.con.xml.gz	2004-11-09 17:51	312
	CSetoid_of_less.con.types.xml.gz	2004-11-09 17:51	215
	F_rect.con.types.xml.gz	2004-11-09 17:51	201
	F_crr.con.types.xml.gz	2004-11-09 17:51	200
	F_rec.con.types.xml.gz	2004-11-09 17:51	199
	Feq.con.types.xml.gz	2004-11-09 17:51	195
	Fap.con.types.xml.gz	2004-11-09 17:51	195
	F.ind.types.xml.gz	2004-11-09 17:51	191