Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t28_xboole_1

	Name	Last modified	Size	Description
	Parent Directory		-
	finseq_3__2604_19.min1.thm1.tptp	2017-02-06 16:58	298
	funct_4__1503_35.min1.thm1.tptp	2017-02-06 16:58	360
	group_9__10824_23.min1.thm1.tptp	2017-02-06 16:58	463
	group_9__11560_25.min1.thm1.tptp	2017-02-06 16:58	463
	group_9__11653_25.min1.thm1.tptp	2017-02-06 16:58	463
	hfdiff_1__2566_31.min1.thm1.tptp	2017-02-06 16:58	746
	memstr_0__736_15.min1.thm1.tptp	2017-02-06 16:58	337
	nagata_2__2399_39.min1.thm1.tptp	2017-02-06 16:58	1.0K
	partfun1__1127_32.min1.thm1.tptp	2017-02-06 16:58	335
	relat_1__248_30.min1.thm1.tptp	2017-02-06 16:58	343
	relat_1__1338_30.min1.thm1.tptp	2017-02-06 16:58	335
	relat_1__1682_30.min1.thm1.tptp	2017-02-06 16:58	341
	simplex0__3577_16.min1.thm1.tptp	2017-02-06 16:58	277
	sysrel__72_26.min1.thm1.tptp	2017-02-06 16:58	301
	sysrel__291_26.min1.thm1.tptp	2017-02-06 16:58	303
	tmap_1__604_72.min1.thm1.tptp	2017-02-06 16:58	321
	vectsp_8__306_72.min1.thm1.tptp	2017-02-06 16:58	339
	xboole_1__1041_21.min1.thm1.tptp	2017-02-06 16:58	328
	yellow11__1354_19.min1.thm1.tptp	2017-02-06 16:58	232
	zfmisc_1__1533_15.min1.thm1.tptp	2017-02-06 16:58	270
	zfmisc_1__1869_41.min1.thm1.tptp	2017-02-06 16:58	429
	zfmisc_1__2369_24.min1.thm1.tptp	2017-02-06 16:58	361