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

	Name	Last modified	Size	Description
	Parent Directory		-
	bagorder__3397_31.min1.thm1.tptp	2017-02-06 16:58	274
	bagorder__3411_31.min1.thm1.tptp	2017-02-06 16:58	274
	bagorder__3504_35.min1.thm1.tptp	2017-02-06 16:58	290
	bagorder__3554_42.min1.thm1.tptp	2017-02-06 16:58	300
	bagorder__3555_43.min1.thm1.tptp	2017-02-06 16:58	300
	bagorder__3604_35.min1.thm1.tptp	2017-02-06 16:58	290
	bagorder__3669_41.min1.thm1.tptp	2017-02-06 16:58	300
	bagorder__3674_41.min1.thm1.tptp	2017-02-06 16:58	300
	fraenkel__771_17.min1.thm1.tptp	2017-02-06 16:58	263
	heyting1__447_16.min1.thm1.tptp	2017-02-06 16:58	278
	heyting1__475_16.min1.thm1.tptp	2017-02-06 16:58	278
	heyting1__476_16.min1.thm1.tptp	2017-02-06 16:58	278
	heyting2__260_15.min1.thm1.tptp	2017-02-06 16:58	316
	matrix_9__111_18.min1.thm1.tptp	2017-02-06 16:58	304
	normform__659_15.min1.thm1.tptp	2017-02-06 16:58	278
	normform__660_15.min1.thm1.tptp	2017-02-06 16:58	278
	setwiseo__344_15.min1.thm1.tptp	2017-02-06 16:58	268
	setwiseo__384_15.min1.thm1.tptp	2017-02-06 16:58	303
	substlat__247_15.min1.thm1.tptp	2017-02-06 16:58	294
	substlat__248_15.min1.thm1.tptp	2017-02-06 16:58	294