Index of /xml/CoRN/model/setoids/Zfinsetoid

	Name	Last modified	Size	Description
	Parent Directory		-
	ZFap_cotransitive.con.types.xml.gz	2004-11-09 11:10	13K
	ZFap_tight.con.types.xml.gz	2004-11-09 11:10	6.8K
	ZFap_cotransitive.con.body.xml.gz	2004-11-09 11:10	6.2K
	ZFap_symmetric.con.types.xml.gz	2004-11-09 11:10	6.0K
	ZFap_tight_subproof.con.body.xml.gz	2004-11-09 11:10	5.6K
	ZFap_tight_subproof.con.types.xml.gz	2004-11-09 11:10	4.7K
	ZFap_tight.con.body.xml.gz	2004-11-09 11:10	4.1K
	ZFap_symmetric.con.body.xml.gz	2004-11-09 11:10	3.2K
	ZFap_irreflexive.con.types.xml.gz	2004-11-09 11:10	2.9K
	ZFap_irreflexive.con.body.xml.gz	2004-11-09 11:10	1.7K
	ZFap.con.body.xml.gz	2004-11-09 11:10	1.1K
	ZFeq.con.body.xml.gz	2004-11-09 11:10	1.1K
	ZF_ind.con.types.xml.gz	2004-11-09 11:10	928
	ZF_prf1.con.types.xml.gz	2004-11-09 11:10	890
	ZF_prf0.con.types.xml.gz	2004-11-09 11:10	890
	ZF_rect.con.body.xml.gz	2004-11-09 11:10	870
	ZFap_tight_subproof.con.xml.gz	2004-11-09 11:10	775
	ZF_prf1.con.body.xml.gz	2004-11-09 11:10	751
	INDEX	2005-07-05 08:13	751
	ZF_prf0.con.body.xml.gz	2004-11-09 11:10	743
	ZF_ind.con.xml.gz	2004-11-09 11:10	715
	ZF_rec.con.xml.gz	2004-11-09 11:10	714
	ZF_rect.con.xml.gz	2004-11-09 11:10	711
	Zless.con.types.xml.gz	2004-11-09 11:10	680
	ZF_crr.con.body.xml.gz	2004-11-09 11:10	672
	ZF.ind.xml.gz	2004-11-09 11:10	584
	Zless.con.body.xml.gz	2004-11-09 11:10	569
	ZFap_tight.con.xml.gz	2004-11-09 11:10	528
	ZFap_cotransitive.con.xml.gz	2004-11-09 11:10	510
	ZCSetoid_of_less.con.body.xml.gz	2004-11-09 11:10	508
	ZFap_irreflexive.con.xml.gz	2004-11-09 11:10	507
	ZFap_symmetric.con.xml.gz	2004-11-09 11:10	504
	ZF_ind.con.body.xml.gz	2004-11-09 11:10	490
	ZF_rec.con.body.xml.gz	2004-11-09 11:10	487
	ZF_prf1.con.xml.gz	2004-11-09 11:10	476
	ZF_prf0.con.xml.gz	2004-11-09 11:10	458
	Zless.con.xml.gz	2004-11-09 11:10	435
	ZFap.con.xml.gz	2004-11-09 11:10	414
	ZFeq.con.xml.gz	2004-11-09 11:10	399
	ZF_crr.con.xml.gz	2004-11-09 11:10	377
	ZCSetoid_of_less.con.xml.gz	2004-11-09 11:10	315
	ZCSetoid_of_less.con.types.xml.gz	2004-11-09 11:10	216
	ZF_rect.con.types.xml.gz	2004-11-09 11:10	203
	ZF_rec.con.types.xml.gz	2004-11-09 11:10	202
	ZF_crr.con.types.xml.gz	2004-11-09 11:10	202
	ZFap.con.types.xml.gz	2004-11-09 11:10	198
	ZFeq.con.types.xml.gz	2004-11-09 11:10	197
	ZF.ind.types.xml.gz	2004-11-09 11:10	193