Index of /xml/CoRN/devel/loeb/per/Zlst2fun

	Name	Last modified	Size	Description
	Parent Directory		-
	ZF.ind.types.xml.gz	2004-11-09 18:57	195
	ZF'.con.types.xml.gz	2004-11-09 18:57	198
	ZFap.con.types.xml.gz	2004-11-09 18:57	199
	ZFeq.con.types.xml.gz	2004-11-09 18:57	199
	ZF_crr.con.types.xml.gz	2004-11-09 18:57	203
	ZF_rec.con.types.xml.gz	2004-11-09 18:57	203
	to_nat.con.types.xml.gz	2004-11-09 18:57	203
	ZF_rect.con.types.xml.gz	2004-11-09 18:57	205
	ZCSetoid_of_less.con.types.xml.gz	2004-11-09 18:57	219
	ZF'.con.xml.gz	2004-11-09 18:57	287
	ZCSetoid_of_less.con.xml.gz	2004-11-09 18:57	315
	ZF_crr.con.xml.gz	2004-11-09 18:57	379
	to_nat.con.xml.gz	2004-11-09 18:57	379
	ZFeq.con.xml.gz	2004-11-09 18:57	401
	ZFap.con.xml.gz	2004-11-09 18:57	416
	Zless.con.xml.gz	2004-11-09 18:57	444
	ZF_prf0.con.xml.gz	2004-11-09 18:57	460
	ZF_prf1.con.xml.gz	2004-11-09 18:57	476
	ZF_rec.con.body.xml.gz	2004-11-09 18:57	489
	ZF_ind.con.body.xml.gz	2004-11-09 18:57	494
	ZFap_symmetric.con.xml.gz	2004-11-09 18:57	507
	ZFap_irreflexive.con.xml.gz	2004-11-09 18:57	512
	ZCSetoid_of_less.con.body.xml.gz	2004-11-09 18:57	514
	ZFap_cotransitive.con.xml.gz	2004-11-09 18:57	514
	ZF'.con.body.xml.gz	2004-11-09 18:57	524
	ZFap_tight.con.xml.gz	2004-11-09 18:57	532
	Zless.con.body.xml.gz	2004-11-09 18:57	573
	ZF.ind.xml.gz	2004-11-09 18:57	584
	ZF_crr.con.body.xml.gz	2004-11-09 18:57	674
	to_nat.con.body.xml.gz	2004-11-09 18:57	674
	Zless.con.types.xml.gz	2004-11-09 18:57	683
	ZF_rect.con.xml.gz	2004-11-09 18:57	713
	ZF_ind.con.xml.gz	2004-11-09 18:57	716
	ZF_rec.con.xml.gz	2004-11-09 18:57	716
	ZF_prf0.con.body.xml.gz	2004-11-09 18:57	745
	ZF_prf1.con.body.xml.gz	2004-11-09 18:57	753
	ZFap_tight_subproof.con.xml.gz	2004-11-09 18:57	780
	INDEX	2005-07-05 08:14	827
	ZF_rect.con.body.xml.gz	2004-11-09 18:57	873
	ZF_prf1.con.types.xml.gz	2004-11-09 18:57	892
	ZF_prf0.con.types.xml.gz	2004-11-09 18:57	894
	ZF_ind.con.types.xml.gz	2004-11-09 18:57	931
	ZFeq.con.body.xml.gz	2004-11-09 18:57	1.1K
	ZFap.con.body.xml.gz	2004-11-09 18:57	1.1K
	ZFap_irreflexive.con.body.xml.gz	2004-11-09 18:57	1.7K
	ZFap_irreflexive.con.types.xml.gz	2004-11-09 18:57	2.9K
	ZFap_symmetric.con.body.xml.gz	2004-11-09 18:57	3.2K
	ZFap_tight.con.body.xml.gz	2004-11-09 18:57	4.1K
	ZFap_tight_subproof.con.types.xml.gz	2004-11-09 18:57	4.7K
	ZFap_tight_subproof.con.body.xml.gz	2004-11-09 18:57	5.6K
	ZFap_symmetric.con.types.xml.gz	2004-11-09 18:57	6.0K
	ZFap_cotransitive.con.body.xml.gz	2004-11-09 18:57	6.2K
	ZFap_tight.con.types.xml.gz	2004-11-09 18:57	6.8K
	ZFap_cotransitive.con.types.xml.gz	2004-11-09 18:57	13K