Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/t70_relat_1

	Name	Last modified	Size	Description
	Parent Directory		-
	algspec1__485_23.min1.thm1.tptp	2017-02-06 16:58	357
	funct_5__1577_27.min1.thm1.tptp	2017-02-06 16:58	374
	funct_5__1580_27.min1.thm1.tptp	2017-02-06 16:58	375
	kolmog01__1410_65.min1.thm1.tptp	2017-02-06 16:58	636
	kolmog01__1484_36.min1.thm1.tptp	2017-02-06 16:58	466
	lattice6__107_25.min1.thm1.tptp	2017-02-06 16:58	451
	lattice6__286_25.min1.thm1.tptp	2017-02-06 16:58	451
	lattice6__468_27.min1.thm1.tptp	2017-02-06 16:58	453
	lattice6__613_27.min1.thm1.tptp	2017-02-06 16:58	441
	lattice6__698_29.min1.thm1.tptp	2017-02-06 16:58	443
	matrtop1__307_19.min1.thm1.tptp	2017-02-06 16:58	357
	ordinal1__902_24.min1.thm1.tptp	2017-02-06 16:58	392
	ordinal2__493_26.min1.thm1.tptp	2017-02-06 16:58	425
	ordinal6__2022_24.min1.thm1.tptp	2017-02-06 16:58	392
	pre_circ__159_24.min1.thm1.tptp	2017-02-06 16:58	383
	zf_fund1__733_23.min1.thm1.tptp	2017-02-06 16:58	383
	zf_fund1__744_23.min1.thm1.tptp	2017-02-06 16:58	395
	zf_fund1__841_27.min1.thm1.tptp	2017-02-06 16:58	419
	zf_fund1__845_27.min1.thm1.tptp	2017-02-06 16:58	430
	zf_fund1__1061_23.min1.thm1.tptp	2017-02-06 16:58	448