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

	Name	Last modified	Size	Description
	Parent Directory		-
	classes1__138_18.min1.thm1.tptp	2017-02-06 16:58	302
	classes1__195_26.min1.thm1.tptp	2017-02-06 16:58	378
	combgras__4210_38.min1.thm1.tptp	2017-02-06 16:58	714
	combgras__4224_46.min1.thm1.tptp	2017-02-06 16:58	1.0K
	compl_sp__1196_65.min1.thm1.tptp	2017-02-06 16:58	540
	dynkin__511_20.min1.thm1.tptp	2017-02-06 16:58	272
	dynkin__919_28.min1.thm1.tptp	2017-02-06 16:58	336
	funct_6__963_31.min1.thm1.tptp	2017-02-06 16:58	340
	membered__1360_21.min1.thm1.tptp	2017-02-06 16:58	337
	membered__1364_22.min1.thm1.tptp	2017-02-06 16:58	337
	membered__1367_71.min1.thm1.tptp	2017-02-06 16:58	337
	membered__1372_22.min1.thm1.tptp	2017-02-06 16:58	337
	membered__1376_21.min1.thm1.tptp	2017-02-06 16:58	337
	membered__1380_21.min1.thm1.tptp	2017-02-06 16:58	337
	setfam_1__123_32.min1.thm1.tptp	2017-02-06 16:58	292
	setfam_1__164_16.min1.thm1.tptp	2017-02-06 16:58	262
	setfam_1__169_48.min1.thm1.tptp	2017-02-06 16:58	365
	setfam_1__207_23.min1.thm1.tptp	2017-02-06 16:58	284
	taxonom2__930_29.min1.thm1.tptp	2017-02-06 16:58	320
	taxonom2__947_29.min1.thm1.tptp	2017-02-06 16:58	320
	taxonom2__1081_29.min1.thm1.tptp	2017-02-06 16:58	320
	taxonom2__1098_29.min1.thm1.tptp	2017-02-06 16:58	320
	tex_4__1787_22.min1.thm1.tptp	2017-02-06 16:58	512
	tex_4__2057_18.min1.thm1.tptp	2017-02-06 16:58	304
	waybel16__467_23.min1.thm1.tptp	2017-02-06 16:58	276
	waybel31__250_55.min1.thm1.tptp	2017-02-06 16:58	368
	waybel31__464_19.min1.thm1.tptp	2017-02-06 16:58	366
	waybel31__558_6.min1.thm1.tptp	2017-02-06 16:58	459
	waybel31__837_50.min1.thm1.tptp	2017-02-06 16:58	452
	waybel_4__2929_29.min1.thm1.tptp	2017-02-06 16:58	440
	waybel_4__2973_30.min1.thm1.tptp	2017-02-06 16:58	411
	waybel_4__2986_30.min1.thm1.tptp	2017-02-06 16:58	411