Index of /~mptp/1147/mptp/ilp1/d2_zfmisc_1

	Name	Last modified	Size	Description
	Parent Directory		-
	arrow__202_22.min1.thm1.tptp	2017-02-06 16:58	412
	binom__296_17.min1.thm1.tptp	2017-02-06 16:58	447
	binom__579_17.min1.thm1.tptp	2017-02-06 16:58	447
	binom__1145_18.min1.thm1.tptp	2017-02-06 16:58	487
	binom__1206_18.min1.thm1.tptp	2017-02-06 16:58	487
	binop_1__68_16.min1.thm1.tptp	2017-02-06 16:58	457
	binop_1__132_18.min1.thm1.tptp	2017-02-06 16:58	465
	binop_1__149_30.min1.thm1.tptp	2017-02-06 16:58	451
	binop_1__626_54.min1.thm1.tptp	2017-02-06 16:58	469
	binop_1__638_18.min1.thm1.tptp	2017-02-06 16:58	469
	binop_1__661_28.min1.thm1.tptp	2017-02-06 16:58	469
	functor2__712_22.min1.thm1.tptp	2017-02-06 16:58	549
	functor2__781_18.min1.thm1.tptp	2017-02-06 16:58	605
	functor2__849_19.min1.thm1.tptp	2017-02-06 16:58	721
	functor2__852_19.min1.thm1.tptp	2017-02-06 16:58	605
	functor2__952_45.min1.thm1.tptp	2017-02-06 16:58	615
	integr1c__116_49.min1.thm1.tptp	2017-02-06 16:58	465
	prvect_3__64_38.min1.thm1.tptp	2017-02-06 16:58	538
	prvect_3__66_38.min1.thm1.tptp	2017-02-06 16:58	538
	prvect_3__97_49.min1.thm1.tptp	2017-02-06 16:58	620
	prvect_3__99_49.min1.thm1.tptp	2017-02-06 16:58	620
	prvect_3__104_49.min1.thm1.tptp	2017-02-06 16:58	623
	prvect_3__106_49.min1.thm1.tptp	2017-02-06 16:58	624
	prvect_3__121_59.min1.thm1.tptp	2017-02-06 16:58	585
	prvect_3__123_44.min1.thm1.tptp	2017-02-06 16:58	620
	prvect_3__125_44.min1.thm1.tptp	2017-02-06 16:58	620
	realset1__188_16.min1.thm1.tptp	2017-02-06 16:58	473
	realset3__236_16.min1.thm1.tptp	2017-02-06 16:58	533
	realset3__443_16.min1.thm1.tptp	2017-02-06 16:58	541
	relat_2__885_20.min1.thm1.tptp	2017-02-06 16:58	525
	relat_2__948_20.min1.thm1.tptp	2017-02-06 16:58	525
	zfmisc_1__555_16.min1.thm1.tptp	2017-02-06 16:58	539