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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting1__46_64.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting1__47_17.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__60_52.min1.thm12017-02-06 12:45 765  
[ ]heyting1__66_29.min1.thm12017-02-06 12:45 554  
[ ]heyting1__67_19.min1.thm12017-02-06 12:45 472  
[ ]heyting1__80_16.min1.thm12017-02-06 12:45 218  
[ ]heyting1__89_29.min1.thm12017-02-06 12:45 430  
[ ]heyting1__89_29.min1.thm1.tptp2017-02-06 16:47 379  
[ ]heyting1__93_59.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__99_12.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__100_18.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__111_42.min1.thm12017-02-06 12:45 625  
[ ]heyting1__111_42.min1.thm1.tptp2017-02-06 16:47 550  
[ ]heyting1__112_16.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__119_14.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__127_14.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__135_25.min1.thm12017-02-06 12:45 550  
[ ]heyting1__135_25.min1.thm1.tptp2017-02-06 16:47 476  
[ ]heyting1__136_11.min1.thm12017-02-06 12:45 442  
[ ]heyting1__136_11.min1.thm1.tptp2017-02-06 16:47 368  
[ ]heyting1__145_26.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__146_31.min1.thm12017-02-06 12:45 438  
[ ]heyting1__147_61.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting1__149_52.min1.thm12017-02-06 12:45 2.1K 
[ ]heyting1__159_8.min1.thm12017-02-06 12:45 404  
[ ]heyting1__159_8.min1.thm1.tptp2017-02-06 16:47 330  
[ ]heyting1__160_32.min1.thm12017-02-06 12:45 788  
[ ]heyting1__161_17.min1.thm12017-02-06 12:45 900  
[ ]heyting1__173_31.min1.thm12017-02-06 12:45 879  
[ ]heyting1__174_52.min1.thm12017-02-06 12:45 737  
[ ]heyting1__174_52.min1.thm1.tptp2017-02-06 16:47 706  
[ ]heyting1__178_58.min1.thm12017-02-06 12:45 930  
[ ]heyting1__196_22.min1.thm12017-02-06 12:45 784  
[ ]heyting1__196_22.min1.thm1.tptp2017-02-06 16:47 707  
[ ]heyting1__197_28.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__206_22.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__207_17.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting1__213_22.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__214_17.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__221_18.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__237_12.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__246_14.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__247_20.min1.thm12017-02-06 12:45 2.1K 
[ ]heyting1__257_4.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__258_54.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__259_12.min1.thm12017-02-06 12:45 590  
[ ]heyting1__260_27.min1.thm12017-02-06 12:45 258  
[ ]heyting1__264_37.min1.thm12017-02-06 12:45 2.3K 
[ ]heyting1__266_26.min1.thm12017-02-06 12:45 854  
[ ]heyting1__267_29.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting1__275_20.min1.thm12017-02-06 12:45 2.7K 
[ ]heyting1__276_17.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__277_20.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__291_54.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__292_30.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__299_19.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting1__300_42.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting1__305_8.min1.thm12017-02-06 12:45 404  
[ ]heyting1__305_8.min1.thm1.tptp2017-02-06 16:47 330  
[ ]heyting1__306_57.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting1__307_16.min1.thm12017-02-06 12:45 475  
[ ]heyting1__311_16.min1.thm12017-02-06 12:45 875  
[ ]heyting1__324_28.min1.thm12017-02-06 12:45 462  
[ ]heyting1__324_28.min1.thm1.tptp2017-02-06 16:47 400  
[ ]heyting1__327_13.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting1__328_18.min1.thm12017-02-06 12:45 508  
[ ]heyting1__337_17.min1.thm12017-02-06 12:45 855  
[ ]heyting1__343_25.min1.thm12017-02-06 12:45 472  
[ ]heyting1__343_25.min1.thm1.tptp2017-02-06 16:47 410  
[ ]heyting1__346_15.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting1__348_20.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__350_20.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__353_48.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting1__355_11.min1.thm12017-02-06 12:45 2.5K 
[ ]heyting1__356_17.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting1__381_25.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__382_35.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting1__407_42.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__408_23.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__439_52.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting1__440_46.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__441_26.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__447_16.min1.thm12017-02-06 12:45 356  
[ ]heyting1__447_16.min1.thm1.tptp2017-02-06 16:47 278  
[ ]heyting1__452_28.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__455_13.min1.thm12017-02-06 12:45 131  
[ ]heyting1__467_30.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__475_16.min1.thm12017-02-06 12:45 356  
[ ]heyting1__475_16.min1.thm1.tptp2017-02-06 16:47 278  
[ ]heyting1__476_16.min1.thm12017-02-06 12:45 356  
[ ]heyting1__476_16.min1.thm1.tptp2017-02-06 16:47 278  
[ ]heyting1__478_19.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__480_13.min1.thm12017-02-06 12:45 131  
[ ]heyting1__500_55.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__523_48.min1.thm12017-02-06 12:45 692  
[ ]heyting1__527_21.min1.thm12017-02-06 12:45 547  
[ ]heyting1__531_48.min1.thm12017-02-06 12:45 692  
[ ]heyting1__535_21.min1.thm12017-02-06 12:45 547  
[ ]heyting1__539_25.min1.thm12017-02-06 12:45 885  
[ ]heyting1__540_21.min1.thm12017-02-06 12:45 488  
[ ]heyting1__549_20.min1.thm12017-02-06 12:45 574  
[ ]heyting1__553_51.min1.thm12017-02-06 12:45 943  
[ ]heyting1__560_51.min1.thm12017-02-06 12:45 946  
[ ]heyting1__564_41.min1.thm12017-02-06 12:45 834  
[ ]heyting1__568_43.min1.thm12017-02-06 12:45 514  
[ ]heyting1__568_43.min1.thm1.tptp2017-02-06 16:47 437  
[ ]heyting1__579_13.min1.thm12017-02-06 12:45 344  
[ ]heyting1__579_13.min1.thm1.tptp2017-02-06 16:47 274  
[ ]heyting1__580_30.min1.thm12017-02-06 12:45 422  
[ ]heyting1__585_19.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__598_15.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting1__599_25.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__600_21.min1.thm12017-02-06 12:45 487  
[ ]heyting1__608_25.min1.thm12017-02-06 12:45 574  
[ ]heyting1__610_68.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__612_21.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting1__615_43.min1.thm12017-02-06 12:45 514  
[ ]heyting1__615_43.min1.thm1.tptp2017-02-06 16:47 437  
[ ]heyting1__624_16.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__625_11.min1.thm12017-02-06 12:45 607  
[ ]heyting1__626_17.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__636_23.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__637_19.min1.thm12017-02-06 12:45 479  
[ ]heyting1__643_23.min1.thm12017-02-06 12:45 566  
[ ]heyting1__644_45.min1.thm12017-02-06 12:45 575  
[ ]heyting1__645_16.min1.thm12017-02-06 12:45 916  
[ ]heyting1__651_56.min1.thm12017-02-06 12:45 550  
[ ]heyting1__652_26.min1.thm12017-02-06 12:45 531  
[ ]heyting1__658_43.min1.thm12017-02-06 12:45 514  
[ ]heyting1__658_43.min1.thm1.tptp2017-02-06 16:47 437  
[ ]heyting1__659_39.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__660_69.min1.thm12017-02-06 12:45 794  
[ ]heyting1__668_18.min1.thm12017-02-06 12:45 547  
[ ]heyting1__669_18.min1.thm12017-02-06 12:45 618  
[ ]heyting1__684_8.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting1__685_14.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting1__694_13.min1.thm12017-02-06 12:45 193  
[ ]heyting1__698_16.min1.thm12017-02-06 12:45 321  
[ ]heyting1__698_16.min1.thm1.tptp2017-02-06 16:47 242  
[ ]heyting1__700_21.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__705_53.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting1__707_45.min1.thm12017-02-06 12:45 2.9K 
[ ]heyting1__708_23.min1.thm12017-02-06 12:45 3.1K 
[ ]heyting1__725_23.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting1__738_23.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting1__755_28.min1.thm12017-02-06 12:45 2.2K 
[ ]heyting1__760_66.min1.thm12017-02-06 12:45 489  
[ ]heyting1__760_66.min1.thm1.tptp2017-02-06 16:47 412  
[ ]heyting1__762_20.min1.thm12017-02-06 12:45 758  
[ ]heyting1__763_23.min1.thm12017-02-06 12:45 855  
[ ]heyting1__764_28.min1.thm12017-02-06 12:45 2.5K 
[ ]heyting1__765_20.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting1__766_28.min1.thm12017-02-06 12:45 710  
[ ]heyting1__767_22.min1.thm12017-02-06 12:45 698  
[ ]heyting1__768_17.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__771_14.min1.thm12017-02-06 12:45 706  
[ ]heyting1__778_29.min1.thm12017-02-06 12:45 2.4K 
[ ]heyting1__794_27.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting1__795_47.min1.thm12017-02-06 12:45 872  
[ ]heyting1__797_18.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__806_21.min1.thm12017-02-06 12:45 2.6K 
[ ]heyting1__808_62.min1.thm12017-02-06 12:45 3.8K 
[ ]heyting1__812_29.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting1__831_8.min1.thm12017-02-06 12:45 405  
[ ]heyting1__831_8.min1.thm1.tptp2017-02-06 16:47 331  
[ ]heyting1__856_24.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__861_25.min1.thm12017-02-06 12:45 2.2K 
[ ]heyting1__864_25.min1.thm12017-02-06 12:45 2.2K 
[ ]heyting1__868_25.min1.thm12017-02-06 12:45 2.2K 
[ ]heyting1__870_24.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting1__871_25.min1.thm12017-02-06 12:45 2.2K 
[ ]heyting1__874_26.min1.thm12017-02-06 12:45 3.1K 
[ ]heyting1__875_23.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting1__890_57.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting1__903_29.min1.thm12017-02-06 12:45 816  
[ ]heyting1__903_29.min1.thm1.tptp2017-02-06 16:47 739  
[ ]heyting1__904_19.min1.thm12017-02-06 12:45 816  
[ ]heyting1__904_19.min1.thm1.tptp2017-02-06 16:47 739  
[ ]heyting1__917_58.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting1__930_39.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__931_23.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__944_40.min1.thm12017-02-06 12:45 748  
[ ]heyting1__945_18.min1.thm12017-02-06 12:45 892  
[ ]heyting1__947_10.min1.thm12017-02-06 12:45 408  
[ ]heyting1__947_10.min1.thm1.tptp2017-02-06 16:47 334  
[ ]heyting1__948_19.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting1__950_13.min1.thm12017-02-06 12:45 131  
[ ]heyting1__963_39.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__964_48.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting1__969_10.min1.thm12017-02-06 12:45 424  
[ ]heyting1__969_10.min1.thm1.tptp2017-02-06 16:47 350  
[ ]heyting1__980_26.min1.thm12017-02-06 12:45 700  
[ ]heyting1__980_26.min1.thm1.tptp2017-02-06 16:47 623  
[ ]heyting1__981_19.min1.thm12017-02-06 12:45 700  
[ ]heyting1__981_19.min1.thm1.tptp2017-02-06 16:47 623  
[ ]heyting1__998_17.min1.thm12017-02-06 12:45 2.4K 
[ ]heyting1__999_11.min1.thm12017-02-06 12:45 733  
[ ]heyting1__1005_23.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__1040_51.min1.thm12017-02-06 12:45 637  
[ ]heyting1__1042_20.min1.thm12017-02-06 12:45 927  
[ ]heyting1__1061_24.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting1__1070_20.min1.thm12017-02-06 12:45 671  
[ ]heyting1__1077_57.min1.thm12017-02-06 12:45 843  
[ ]heyting1__1081_22.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__1082_18.min1.thm12017-02-06 12:45 959  
[ ]heyting1__1083_12.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting1__1084_27.min1.thm12017-02-06 12:45 258  
[ ]heyting1__1098_32.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting1__1121_34.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__1122_18.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting1__1139_44.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting1__1151_18.min1.thm12017-02-06 12:45 326  
[ ]heyting1__1151_18.min1.thm1.tptp2017-02-06 16:47 240  
[ ]heyting1__1152_23.min1.thm12017-02-06 12:45 2.6K 
[ ]heyting1__1165_39.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__1166_18.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting1__1180_37.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting1__1180_37.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]heyting1__1203_31.min1.thm12017-02-06 12:45 568  
[ ]heyting1__1203_31.min1.thm1.tptp2017-02-06 16:47 494  
[ ]heyting1__1237_18.min1.thm12017-02-06 12:45 2.2K 
[ ]heyting1__1243_14.min1.thm12017-02-06 12:45 234  
[ ]heyting1__1252_72.min1.thm12017-02-06 12:45 2.6K 
[ ]heyting1__1259_61.min1.thm12017-02-06 12:45 491  
[ ]heyting1__1259_61.min1.thm1.tptp2017-02-06 16:47 414  
[ ]heyting1__1263_14.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting1__1264_11.min1.thm12017-02-06 12:45 450  
[ ]heyting1__1264_11.min1.thm1.tptp2017-02-06 16:47 376  
[ ]heyting1__1265_29.min1.thm12017-02-06 12:45 256  
[ ]heyting1__1266_62.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting1__1267_27.min1.thm12017-02-06 12:45 447  
[ ]heyting1__1272_14.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting1__1273_11.min1.thm12017-02-06 12:45 450  
[ ]heyting1__1273_11.min1.thm1.tptp2017-02-06 16:47 376  
[ ]heyting1__1275_42.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting1__1281_19.min1.thm12017-02-06 12:45 741  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80