Index of /xml/Rocq/PARADOXES/BuraliForti

	Name	Last modified	Size	Description
	Parent Directory		-
	A0.ind.types.xml.gz	2004-04-08 14:22	195
	A0.ind.xml.gz	2004-04-08 14:22	440
	A0_ind.con.body.xml.gz	2004-04-08 14:22	412
	A0_ind.con.types.xml.gz	2004-04-08 14:22	728
	A0_ind.con.xml.gz	2004-04-08 14:22	569
	A0_rec.con.body.xml.gz	2004-04-08 14:22	411
	A0_rec.con.types.xml.gz	2004-04-08 14:22	203
	A0_rec.con.xml.gz	2004-04-08 14:22	566
	A0_rect.con.body.xml.gz	2004-04-08 14:22	700
	A0_rect.con.types.xml.gz	2004-04-08 14:22	205
	A0_rect.con.xml.gz	2004-04-08 14:22	564
	ACC_emb.con.body.xml.gz	2004-04-08 14:22	4.1K
	ACC_emb.con.types.xml.gz	2004-04-08 14:22	5.3K
	ACC_emb.con.xml.gz	2004-04-08 14:22	822
	Burali_Forti.con.body.xml.gz	2004-04-08 14:22	407
	Burali_Forti.con.types.xml.gz	2004-04-08 14:22	547
	Burali_Forti.con.xml.gz	2004-04-08 14:22	285
	Burali_Forti_Paradox/	2005-07-05 08:13	-
	F.con.body.xml.gz	2004-04-08 14:22	435
	F.con.types.xml.gz	2004-04-08 14:22	194
	F.con.xml.gz	2004-04-08 14:22	259
	F_emb_Omega.con.body.xml.gz	2004-04-08 14:22	928
	F_emb_Omega.con.types.xml.gz	2004-04-08 14:22	1.2K
	F_emb_Omega.con.xml.gz	2004-04-08 14:22	340
	F_morphism.con.body.xml.gz	2004-04-08 14:22	1.6K
	F_morphism.con.types.xml.gz	2004-04-08 14:22	3.4K
	F_morphism.con.xml.gz	2004-04-08 14:22	482
	INDEX	2005-07-05 08:12	1.1K
	Omega.con.body.xml.gz	2004-04-08 14:22	318
	Omega.con.types.xml.gz	2004-04-08 14:22	201
	Omega.con.xml.gz	2004-04-08 14:22	258
	Omega_refl.con.body.xml.gz	2004-04-08 14:22	714
	Omega_refl.con.types.xml.gz	2004-04-08 14:22	810
	Omega_refl.con.xml.gz	2004-04-08 14:22	327
	R0.con.body.xml.gz	2004-04-08 14:22	625
	R0.con.types.xml.gz	2004-04-08 14:22	196
	R0.con.xml.gz	2004-04-08 14:22	387
	WF_emb.con.body.xml.gz	2004-04-08 14:22	1.5K
	WF_emb.con.types.xml.gz	2004-04-08 14:22	1.4K
	WF_emb.con.xml.gz	2004-04-08 14:22	336
	X0.con.body.xml.gz	2004-04-08 14:22	527
	X0.con.types.xml.gz	2004-04-08 14:22	196
	X0.con.xml.gz	2004-04-08 14:22	288
	emb.ind.types.xml.gz	2004-04-08 14:22	197
	emb.ind.xml.gz	2004-04-08 14:22	1.1K
	emb_ind.con.body.xml.gz	2004-04-08 14:22	1.1K
	emb_ind.con.types.xml.gz	2004-04-08 14:22	1.0K
	emb_ind.con.xml.gz	2004-04-08 14:22	1.0K
	emb_trans.con.body.xml.gz	2004-04-08 14:22	3.4K
	emb_trans.con.types.xml.gz	2004-04-08 14:22	3.8K
	emb_trans.con.xml.gz	2004-04-08 14:22	497
	emb_wit.con.body.xml.gz	2004-04-08 14:22	653
	emb_wit.con.types.xml.gz	2004-04-08 14:22	775
	emb_wit.con.xml.gz	2004-04-08 14:22	431
	fsub.con.body.xml.gz	2004-04-08 14:22	739
	fsub.con.types.xml.gz	2004-04-08 14:22	483
	fsub.con.xml.gz	2004-04-08 14:22	504
	inj.con.body.xml.gz	2004-04-08 14:22	1.4K
	inj.con.types.xml.gz	2004-04-08 14:22	1.9K
	inj.con.xml.gz	2004-04-08 14:22	771
	morphism.con.body.xml.gz	2004-04-08 14:22	628
	morphism.con.types.xml.gz	2004-04-08 14:22	205
	morphism.con.xml.gz	2004-04-08 14:22	418
	sub.ind.types.xml.gz	2004-04-08 14:22	197
	sub.ind.xml.gz	2004-04-08 14:22	500
	sub_ind.con.body.xml.gz	2004-04-08 14:22	447
	sub_ind.con.types.xml.gz	2004-04-08 14:22	755
	sub_ind.con.xml.gz	2004-04-08 14:22	615
	sub_rec.con.body.xml.gz	2004-04-08 14:22	446
	sub_rec.con.types.xml.gz	2004-04-08 14:22	205
	sub_rec.con.xml.gz	2004-04-08 14:22	613
	sub_rect.con.body.xml.gz	2004-04-08 14:22	749
	sub_rect.con.types.xml.gz	2004-04-08 14:22	207
	sub_rect.con.xml.gz	2004-04-08 14:22	613
	witness.con.body.xml.gz	2004-04-08 14:22	573
	witness.con.types.xml.gz	2004-04-08 14:22	204
	witness.con.xml.gz	2004-04-08 14:22	338