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

	Name	Last modified	Size	Description
	Parent Directory		-
	afinsq_1__682_17.min1.thm1.tptp	2017-02-06 16:58	424
	afinsq_1__756_23.min1.thm1.tptp	2017-02-06 16:58	591
	afinsq_1__1282_21.min1.thm1.tptp	2017-02-06 16:58	428
	afinsq_1__1301_20.min1.thm1.tptp	2017-02-06 16:58	442
	afinsq_1__1311_19.min1.thm1.tptp	2017-02-06 16:58	442
	afinsq_1__1855_19.min1.thm1.tptp	2017-02-06 16:58	426
	compos_1__121_38.min1.thm1.tptp	2017-02-06 16:58	461
	finseq_1__3700_19.min1.thm1.tptp	2017-02-06 16:58	374
	fomodel0__1275_47.min1.thm1.tptp	2017-02-06 16:58	486
	fomodel0__2449_37.min1.thm1.tptp	2017-02-06 16:58	349
	fomodel2__795_59.min1.thm1.tptp	2017-02-06 16:58	588
	funct_1__2978_15.min1.thm1.tptp	2017-02-06 16:58	358
	funct_1__3139_16.min1.thm1.tptp	2017-02-06 16:58	358
	funct_1__3192_19.min1.thm1.tptp	2017-02-06 16:58	366
	nat_1__1440_16.min1.thm1.tptp	2017-02-06 16:58	415
	ordinal1__892_15.min1.thm1.tptp	2017-02-06 16:58	389
	ordinal2__463_18.min1.thm1.tptp	2017-02-06 16:58	385
	ordinal2__478_18.min1.thm1.tptp	2017-02-06 16:58	417
	partfun1__164_15.min1.thm1.tptp	2017-02-06 16:58	350
	relat_1__2850_15.min1.thm1.tptp	2017-02-06 16:58	328
	relat_1__2987_18.min1.thm1.tptp	2017-02-06 16:58	332
	relat_1__3026_15.min1.thm1.tptp	2017-02-06 16:58	332
	relat_1__3128_16.min1.thm1.tptp	2017-02-06 16:58	328
	relat_1__3198_17.min1.thm1.tptp	2017-02-06 16:58	348
	rlvect_1__755_34.min1.thm1.tptp	2017-02-06 16:58	457
	rlvect_1__868_34.min1.thm1.tptp	2017-02-06 16:58	421
	scm_halt__2940_44.min1.thm1.tptp	2017-02-06 16:58	512
	scmbsort__984_45.min1.thm1.tptp	2017-02-06 16:58	513
	scmbsort__1042_44.min1.thm1.tptp	2017-02-06 16:58	513
	scmfsa6a__111_44.min1.thm1.tptp	2017-02-06 16:58	503
	scmfsa8a__182_44.min1.thm1.tptp	2017-02-06 16:58	442
	scmfsa8c__4142_45.min1.thm1.tptp	2017-02-06 16:58	513
	scmfsa_9__687_44.min1.thm1.tptp	2017-02-06 16:58	512
	scmfsa_9__1870_44.min1.thm1.tptp	2017-02-06 16:58	512
	trees_a__1133_17.min1.thm1.tptp	2017-02-06 16:58	389