Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/heyting1

	Name	Last modified	Size	Description
	Parent Directory		-
	heyting1__l5_heyting1	2013-09-04 12:15	12K
	heyting1__l16_heyting1	2013-09-04 12:15	38K
	heyting1__l17_heyting1	2013-09-04 12:15	40K
	heyting1__l27_heyting1	2013-09-04 12:15	11K
	heyting1__l31_heyting1	2013-09-04 12:15	23K
	heyting1__l33_heyting1	2013-09-04 12:15	47K
	heyting1__l39_heyting1	2013-09-04 12:15	39K
	heyting1__l41_heyting1	2013-09-04 12:15	44K
	heyting1__l46_heyting1	2013-09-04 12:15	52K
	heyting1__l47_heyting1	2013-09-04 12:15	28K
	heyting1__t1_heyting1	2013-09-04 12:15	12K
	heyting1__t2_heyting1	2013-09-04 12:15	12K
	heyting1__t3_heyting1	2013-09-04 12:15	19K
	heyting1__t4_heyting1	2013-09-04 12:15	11K
	heyting1__t5_heyting1	2013-09-04 12:15	34K
	heyting1__t6_heyting1	2013-09-04 12:15	27K
	heyting1__t7_heyting1	2013-09-04 12:15	27K
	heyting1__t8_heyting1	2013-09-04 12:15	28K
	heyting1__t9_heyting1	2013-09-04 12:15	48K
	heyting1__t10_heyting1	2013-09-04 12:15	27K
	heyting1__t11_heyting1	2013-09-04 12:15	21K
	heyting1__t12_heyting1	2013-09-04 12:15	12K
	heyting1__t13_heyting1	2013-09-04 12:15	25K
	heyting1__t14_heyting1	2013-09-04 12:15	26K
	heyting1__t15_heyting1	2013-09-04 12:15	12K
	heyting1__t16_heyting1	2013-09-04 12:15	12K
	heyting1__t17_heyting1	2013-09-04 12:15	13K
	heyting1__t18_heyting1	2013-09-04 12:15	22K
	heyting1__t19_heyting1	2013-09-04 12:15	33K
	heyting1__t20_heyting1	2013-09-04 12:15	47K
	heyting1__t21_heyting1	2013-09-04 12:15	29K
	heyting1__t22_heyting1	2013-09-04 12:15	28K
	heyting1__t23_heyting1	2013-09-04 12:15	42K
	heyting1__t24_heyting1	2013-09-04 12:15	47K
	heyting1__t25_heyting1	2013-09-04 12:15	42K
	heyting1__t26_heyting1	2013-09-04 12:15	51K
	heyting1__t27_heyting1	2013-09-04 12:15	29K
	heyting1__t28_heyting1	2013-09-04 12:15	55K