Index of /xml/Rocq/PARADOXES/Logics

	Name	Last modified	Size	Description
	Parent Directory		-
	WF_inverse_image.con.xml.gz	2004-04-08 14:22	396
	WF_inverse_image.con.types.xml.gz	2004-04-08 14:22	705
	WF_inverse_image.con.body.xml.gz	2004-04-08 14:22	503
	WF.con.xml.gz	2004-04-08 14:22	328
	WF.con.types.xml.gz	2004-04-08 14:22	192
	WF.con.body.xml.gz	2004-04-08 14:22	464
	Rof.con.xml.gz	2004-04-08 14:22	324
	Rof.con.types.xml.gz	2004-04-08 14:22	192
	Rof.con.body.xml.gz	2004-04-08 14:22	416
	Inverse_Image/	2005-07-05 08:13	-
	INDEX	2005-07-05 08:12	388
	ACC_nonreflexive.con.xml.gz	2004-04-08 14:22	534
	ACC_nonreflexive.con.types.xml.gz	2004-04-08 14:22	881
	ACC_nonreflexive.con.body.xml.gz	2004-04-08 14:22	1.0K
	ACC_lemma.con.xml.gz	2004-04-08 14:22	551
	ACC_lemma.con.types.xml.gz	2004-04-08 14:22	1.4K
	ACC_lemma.con.body.xml.gz	2004-04-08 14:22	1.5K
	ACC_inverse_image.con.xml.gz	2004-04-08 14:22	492
	ACC_inverse_image.con.types.xml.gz	2004-04-08 14:22	614
	ACC_inverse_image.con.body.xml.gz	2004-04-08 14:22	601
	ACC_ind.con.xml.gz	2004-04-08 14:22	768
	ACC_ind.con.types.xml.gz	2004-04-08 14:22	1.3K
	ACC_ind.con.body.xml.gz	2004-04-08 14:22	1.4K
	ACC.ind.xml.gz	2004-04-08 14:22	678
	ACC.ind.types.xml.gz	2004-04-08 14:22	192