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

	Name	Last modified	Size	Description
	Parent Directory		-
	funct_6__601_26.min1.thm1.tptp	2017-02-06 16:58	227
	zfmisc_1__167_25.min1.thm1.tptp	2017-02-06 16:58	273
	setfam_1__123_32.min1.thm1.tptp	2017-02-06 16:58	292
	zfmisc_1__65_19.min1.thm1.tptp	2017-02-06 16:58	323
	heyting1__89_29.min1.thm1.tptp	2017-02-06 16:58	379
	abcmiz_1__74_56.min1.thm1.tptp	2017-02-06 16:58	380
	substlat__402_29.min1.thm1.tptp	2017-02-06 16:58	408
	heyting2__322_20.min1.thm1.tptp	2017-02-06 16:58	439
	e_siec__928_29.min1.thm1.tptp	2017-02-06 16:58	521
	e_siec__932_29.min1.thm1.tptp	2017-02-06 16:58	523
	e_siec__936_29.min1.thm1.tptp	2017-02-06 16:58	523
	e_siec__940_29.min1.thm1.tptp	2017-02-06 16:58	523
	e_siec__847_29.min1.thm1.tptp	2017-02-06 16:58	627
	e_siec__843_26.min1.thm1.tptp	2017-02-06 16:58	655
	e_siec__829_29.min1.thm1.tptp	2017-02-06 16:58	673
	e_siec__833_26.min1.thm1.tptp	2017-02-06 16:58	677
	sppol_2__1719_57.min1.thm1.tptp	2017-02-06 16:58	827
	sppol_2__1827_57.min1.thm1.tptp	2017-02-06 16:58	827
	sppol_2__1878_55.min1.thm1.tptp	2017-02-06 16:58	849
	sppol_2__1771_65.min1.thm1.tptp	2017-02-06 16:58	851