Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/heyting2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting2__55_37.min1.thm12017-02-06 12:45 929  
[ ]heyting2__55_37.min1.thm1.tptp2017-02-06 16:47 934  
[ ]heyting2__56_17.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__65_11.min1.thm12017-02-06 12:45 327  
[ ]heyting2__65_11.min1.thm1.tptp2017-02-06 16:47 247  
[ ]heyting2__66_17.min1.thm12017-02-06 12:45 386  
[ ]heyting2__84_12.min1.thm12017-02-06 12:45 337  
[ ]heyting2__84_12.min1.thm1.tptp2017-02-06 16:47 272  
[ ]heyting2__85_19.min1.thm12017-02-06 12:45 405  
[ ]heyting2__87_47.min1.thm12017-02-06 12:45 583  
[ ]heyting2__105_17.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting2__107_16.min1.thm12017-02-06 12:45 536  
[ ]heyting2__116_26.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting2__123_16.min1.thm12017-02-06 12:45 536  
[ ]heyting2__132_26.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting2__136_25.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__143_13.min1.thm12017-02-06 12:45 341  
[ ]heyting2__143_13.min1.thm1.tptp2017-02-06 16:47 261  
[ ]heyting2__146_14.min1.thm12017-02-06 12:45 398  
[ ]heyting2__146_14.min1.thm1.tptp2017-02-06 16:47 329  
[ ]heyting2__147_25.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__148_67.min1.thm12017-02-06 12:45 844  
[ ]heyting2__149_19.min1.thm12017-02-06 12:45 353  
[ ]heyting2__149_19.min1.thm1.tptp2017-02-06 16:47 279  
[ ]heyting2__150_23.min1.thm12017-02-06 12:45 951  
[ ]heyting2__151_22.min1.thm12017-02-06 12:45 2.5K 
[ ]heyting2__152_19.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting2__157_26.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__162_14.min1.thm12017-02-06 12:45 398  
[ ]heyting2__162_14.min1.thm1.tptp2017-02-06 16:47 329  
[ ]heyting2__163_25.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__164_65.min1.thm12017-02-06 12:45 842  
[ ]heyting2__165_23.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__166_17.min1.thm12017-02-06 12:45 592  
[ ]heyting2__177_15.min1.thm12017-02-06 12:45 355  
[ ]heyting2__177_15.min1.thm1.tptp2017-02-06 16:47 275  
[ ]heyting2__178_20.min1.thm12017-02-06 12:45 444  
[ ]heyting2__179_19.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting2__180_21.min1.thm12017-02-06 12:45 521  
[ ]heyting2__182_20.min1.thm12017-02-06 12:45 587  
[ ]heyting2__184_19.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting2__185_18.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__186_19.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting2__203_76.min1.thm12017-02-06 12:45 548  
[ ]heyting2__208_25.min1.thm12017-02-06 12:45 654  
[ ]heyting2__210_65.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__212_19.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__237_17.min1.thm12017-02-06 12:45 837  
[ ]heyting2__238_23.min1.thm12017-02-06 12:45 650  
[ ]heyting2__239_68.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__241_17.min1.thm12017-02-06 12:45 922  
[ ]heyting2__257_13.min1.thm12017-02-06 12:45 908  
[ ]heyting2__258_16.min1.thm12017-02-06 12:45 625  
[ ]heyting2__260_15.min1.thm12017-02-06 12:45 395  
[ ]heyting2__260_15.min1.thm1.tptp2017-02-06 16:47 316  
[ ]heyting2__269_19.min1.thm12017-02-06 12:45 882  
[ ]heyting2__270_26.min1.thm12017-02-06 12:45 687  
[ ]heyting2__271_24.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting2__272_45.min1.thm12017-02-06 12:45 476  
[ ]heyting2__272_45.min1.thm1.tptp2017-02-06 16:47 395  
[ ]heyting2__278_16.min1.thm12017-02-06 12:45 908  
[ ]heyting2__279_19.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__283_63.min1.thm12017-02-06 12:45 269  
[ ]heyting2__286_17.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__298_22.min1.thm12017-02-06 12:45 460  
[ ]heyting2__299_54.min1.thm12017-02-06 12:45 851  
[ ]heyting2__308_11.min1.thm12017-02-06 12:45 195  
[ ]heyting2__311_19.min1.thm12017-02-06 12:45 639  
[ ]heyting2__315_19.min1.thm12017-02-06 12:45 875  
[ ]heyting2__322_20.min1.thm12017-02-06 12:45 485  
[ ]heyting2__322_20.min1.thm1.tptp2017-02-06 16:47 439  
[ ]heyting2__346_19.min1.thm12017-02-06 12:45 837  
[ ]heyting2__347_18.min1.thm12017-02-06 12:45 603  
[ ]heyting2__349_73.min1.thm12017-02-06 12:45 133  
[ ]heyting2__357_65.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__359_33.min1.thm12017-02-06 12:45 729  
[ ]heyting2__360_24.min1.thm12017-02-06 12:45 558  
[ ]heyting2__361_53.min1.thm12017-02-06 12:45 612  
[ ]heyting2__362_21.min1.thm12017-02-06 12:45 937  
[ ]heyting2__364_39.min1.thm12017-02-06 12:45 681  
[ ]heyting2__365_19.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__374_18.min1.thm12017-02-06 12:45 582  
[ ]heyting2__381_19.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__383_64.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting2__395_72.min1.thm12017-02-06 12:45 448  
[ ]heyting2__400_19.min1.thm12017-02-06 12:45 451  
[ ]heyting2__400_19.min1.thm1.tptp2017-02-06 16:47 368  
[ ]heyting2__401_17.min1.thm12017-02-06 12:45 262  
[ ]heyting2__402_30.min1.thm12017-02-06 12:45 353  
[ ]heyting2__402_30.min1.thm1.tptp2017-02-06 16:47 270  
[ ]heyting2__403_38.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting2__404_18.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting2__405_22.min1.thm12017-02-06 12:45 427  
[ ]heyting2__405_22.min1.thm1.tptp2017-02-06 16:47 349  
[ ]heyting2__406_17.min1.thm12017-02-06 12:45 553  
[ ]heyting2__416_15.min1.thm12017-02-06 12:45 460  
[ ]heyting2__420_16.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting2__421_17.min1.thm12017-02-06 12:45 262  
[ ]heyting2__422_27.min1.thm12017-02-06 12:45 455  
[ ]heyting2__424_26.min1.thm12017-02-06 12:45 483  
[ ]heyting2__424_26.min1.thm1.tptp2017-02-06 16:47 412  
[ ]heyting2__425_20.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__434_21.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__435_32.min1.thm12017-02-06 12:45 281  
[ ]heyting2__436_14.min1.thm12017-02-06 12:45 606  
[ ]heyting2__447_18.min1.thm12017-02-06 12:45 735  
[ ]heyting2__448_38.min1.thm12017-02-06 12:45 451  
[ ]heyting2__448_38.min1.thm1.tptp2017-02-06 16:47 371  
[ ]heyting2__449_24.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__450_17.min1.thm12017-02-06 12:45 546  
[ ]heyting2__450_17.min1.thm1.tptp2017-02-06 16:47 470  
[ ]heyting2__466_11.min1.thm12017-02-06 12:45 191  
[ ]heyting2__469_50.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__473_62.min1.thm12017-02-06 12:45 957  
[ ]heyting2__481_17.min1.thm12017-02-06 12:45 343  
[ ]heyting2__481_17.min1.thm1.tptp2017-02-06 16:47 278  
[ ]heyting2__483_45.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting2__488_19.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__492_20.min1.thm12017-02-06 12:45 959  
[ ]heyting2__493_33.min1.thm12017-02-06 12:45 498  
[ ]heyting2__494_33.min1.thm12017-02-06 12:45 601  
[ ]heyting2__495_44.min1.thm12017-02-06 12:45 961  
[ ]heyting2__497_20.min1.thm12017-02-06 12:45 820  
[ ]heyting2__503_15.min1.thm12017-02-06 12:45 317  
[ ]heyting2__503_15.min1.thm1.tptp2017-02-06 16:47 238  
[ ]heyting2__514_22.min1.thm12017-02-06 12:45 774  
[ ]heyting2__517_40.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting2__518_54.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting2__519_32.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting2__521_21.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting2__523_21.min1.thm12017-02-06 12:45 646  
[ ]heyting2__524_22.min1.thm12017-02-06 12:45 648  
[ ]heyting2__530_36.min1.thm12017-02-06 12:45 507  
[ ]heyting2__537_31.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__539_21.min1.thm12017-02-06 12:45 692  
[ ]heyting2__539_21.min1.thm1.tptp2017-02-06 16:47 630  
[ ]heyting2__542_33.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__545_22.min1.thm12017-02-06 12:45 698  
[ ]heyting2__545_22.min1.thm1.tptp2017-02-06 16:47 636  
[ ]heyting2__546_37.min1.thm12017-02-06 12:45 971  
[ ]heyting2__547_22.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__548_23.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting2__558_35.min1.thm12017-02-06 12:45 278  
[ ]heyting2__558_35.min1.thm1.tptp2017-02-06 16:47 197  
[ ]heyting2__560_16.min1.thm12017-02-06 12:45 776  
[ ]heyting2__561_19.min1.thm12017-02-06 12:45 615  
[ ]heyting2__575_13.min1.thm12017-02-06 12:45 907  
[ ]heyting2__586_53.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__587_18.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__593_25.min1.thm12017-02-06 12:45 396  
[ ]heyting2__606_53.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__609_13.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__610_26.min1.thm12017-02-06 12:45 501  
[ ]heyting2__610_26.min1.thm1.tptp2017-02-06 16:47 430  
[ ]heyting2__620_25.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__625_17.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting2__626_23.min1.thm12017-02-06 12:45 658  
[ ]heyting2__627_55.min1.thm12017-02-06 12:45 588  
[ ]heyting2__631_13.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__632_56.min1.thm12017-02-06 12:45 646  
[ ]heyting2__634_16.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__636_17.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__650_54.min1.thm12017-02-06 12:45 808  
[ ]heyting2__652_18.min1.thm12017-02-06 12:45 402  
[ ]heyting2__665_72.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__668_72.min1.thm12017-02-06 12:45 506  
[ ]heyting2__672_69.min1.thm12017-02-06 12:45 564  
[ ]heyting2__672_69.min1.thm1.tptp2017-02-06 16:47 502  
[ ]heyting2__676_26.min1.thm12017-02-06 12:45 455  
[ ]heyting2__677_28.min1.thm12017-02-06 12:45 482  
[ ]heyting2__677_28.min1.thm1.tptp2017-02-06 16:47 411  
[ ]heyting2__678_30.min1.thm12017-02-06 12:45 394  
[ ]heyting2__678_30.min1.thm1.tptp2017-02-06 16:47 316  
[ ]heyting2__691_23.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__692_28.min1.thm12017-02-06 12:45 479  
[ ]heyting2__693_58.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting2__694_54.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting2__695_45.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting2__707_59.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__709_14.min1.thm12017-02-06 12:45 310  
[ ]heyting2__709_14.min1.thm1.tptp2017-02-06 16:47 224  
[ ]heyting2__711_17.min1.thm12017-02-06 12:45 960  
[ ]heyting2__730_63.min1.thm12017-02-06 12:45 797  
[ ]heyting2__730_63.min1.thm1.tptp2017-02-06 16:47 772  
[ ]heyting2__731_65.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__731_65.min1.thm1.tptp2017-02-06 16:47 887  
[ ]heyting2__745_63.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__746_29.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting2__747_19.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting2__763_71.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting2__771_20.min1.thm12017-02-06 12:45 821  
[ ]heyting2__794_71.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting2__806_61.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__811_46.min1.thm12017-02-06 12:45 873  
[ ]heyting2__812_18.min1.thm12017-02-06 12:45 941  
[ ]heyting2__814_16.min1.thm12017-02-06 12:45 910  
[ ]heyting2__815_19.min1.thm12017-02-06 12:45 896  
[ ]heyting2__817_13.min1.thm12017-02-06 12:45 131  
[ ]heyting2__827_40.min1.thm12017-02-06 12:45 924  
[ ]heyting2__829_35.min1.thm12017-02-06 12:45 888  
[ ]heyting2__836_21.min1.thm12017-02-06 12:45 642  
[ ]heyting2__836_21.min1.thm1.tptp2017-02-06 16:47 567  
[ ]heyting2__838_21.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__847_54.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__863_26.min1.thm12017-02-06 12:45 790  
[ ]heyting2__863_26.min1.thm1.tptp2017-02-06 16:47 713  
[ ]heyting2__864_19.min1.thm12017-02-06 12:45 790  
[ ]heyting2__864_19.min1.thm1.tptp2017-02-06 16:47 713  
[ ]heyting2__876_25.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting2__880_15.min1.thm12017-02-06 12:45 2.7K 
[ ]heyting2__881_11.min1.thm12017-02-06 12:45 581  
[ ]heyting2__906_57.min1.thm12017-02-06 12:45 794  
[ ]heyting2__907_53.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__909_20.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__910_24.min1.thm12017-02-06 12:45 654  
[ ]heyting2__919_33.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__920_18.min1.thm12017-02-06 12:45 471  
[ ]heyting2__925_17.min1.thm12017-02-06 12:45 712  
[ ]heyting2__937_17.min1.thm12017-02-06 12:45 571  
[ ]heyting2__947_18.min1.thm12017-02-06 12:45 771  
[ ]heyting2__948_38.min1.thm12017-02-06 12:45 921  
[ ]heyting2__949_37.min1.thm12017-02-06 12:45 882  
[ ]heyting2__950_21.min1.thm12017-02-06 12:45 946  
[ ]heyting2__966_63.min1.thm12017-02-06 12:45 797  
[ ]heyting2__966_63.min1.thm1.tptp2017-02-06 16:47 772  
[ ]heyting2__970_55.min1.thm12017-02-06 12:45 404  
[ ]heyting2__970_55.min1.thm1.tptp2017-02-06 16:47 326  
[ ]heyting2__971_23.min1.thm12017-02-06 12:45 858  
[ ]heyting2__971_23.min1.thm1.tptp2017-02-06 16:47 781  
[ ]heyting2__974_28.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__979_18.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting2__989_25.min1.thm12017-02-06 12:45 884  
[ ]heyting2__989_25.min1.thm1.tptp2017-02-06 16:47 807  
[ ]heyting2__990_28.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1008_12.min1.thm12017-02-06 12:45 343  
[ ]heyting2__1008_12.min1.thm1.tptp2017-02-06 16:47 278  
[ ]heyting2__1009_19.min1.thm12017-02-06 12:45 414  
[ ]heyting2__1012_54.min1.thm12017-02-06 12:45 511  
[ ]heyting2__1018_24.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__1019_23.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting2__1020_14.min1.thm12017-02-06 12:45 562  
[ ]heyting2__1036_12.min1.thm12017-02-06 12:45 775  
[ ]heyting2__1038_33.min1.thm12017-02-06 12:45 955  
[ ]heyting2__1046_50.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__1054_14.min1.thm12017-02-06 12:45 791  
[ ]heyting2__1055_20.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1057_18.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1065_7.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__1079_57.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__1080_20.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1081_68.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__1087_14.min1.thm12017-02-06 12:45 523  
[ ]heyting2__1087_14.min1.thm1.tptp2017-02-06 16:47 452  
[ ]heyting2__1088_26.min1.thm12017-02-06 12:45 876  
[ ]heyting2__1093_53.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__1094_26.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1100_48.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting2__1101_12.min1.thm12017-02-06 12:45 570  
[ ]heyting2__1102_33.min1.thm12017-02-06 12:45 281  
[ ]heyting2__1104_30.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting2__1108_48.min1.thm12017-02-06 12:45 924  
[ ]heyting2__1112_51.min1.thm12017-02-06 12:45 2.2K 
[ ]heyting2__1123_50.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1124_32.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__1131_67.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting2__1134_22.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1136_17.min1.thm12017-02-06 12:45 2.0K 
[ ]heyting2__1142_23.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting2__1143_69.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1153_30.min1.thm12017-02-06 12:45 786  
[ ]heyting2__1154_17.min1.thm12017-02-06 12:45 670  
[ ]heyting2__1154_17.min1.thm1.tptp2017-02-06 16:47 614  
[ ]heyting2__1166_11.min1.thm12017-02-06 12:45 335  
[ ]heyting2__1166_11.min1.thm1.tptp2017-02-06 16:47 270  
[ ]heyting2__1168_18.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__1173_57.min1.thm12017-02-06 12:45 916  
[ ]heyting2__1174_12.min1.thm12017-02-06 12:45 874  
[ ]heyting2__1177_14.min1.thm12017-02-06 12:45 1.5K 
[ ]heyting2__1180_18.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting2__1182_37.min1.thm12017-02-06 12:45 1.8K 
[ ]heyting2__1183_18.min1.thm12017-02-06 12:45 588  
[ ]heyting2__1192_25.min1.thm12017-02-06 12:45 755  
[ ]heyting2__1193_17.min1.thm12017-02-06 12:45 655  
[ ]heyting2__1193_17.min1.thm1.tptp2017-02-06 16:47 590  
[ ]heyting2__1198_67.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting2__1201_22.min1.thm12017-02-06 12:45 1.9K 
[ ]heyting2__1202_48.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting2__1204_17.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1213_53.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__1222_18.min1.thm12017-02-06 12:45 465  
[ ]heyting2__1222_18.min1.thm1.tptp2017-02-06 16:47 396  
[ ]heyting2__1223_25.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1224_52.min1.thm12017-02-06 12:45 598  
[ ]heyting2__1226_18.min1.thm12017-02-06 12:45 587  
[ ]heyting2__1234_28.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting2__1235_23.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1238_16.min1.thm12017-02-06 12:45 1.3K 
[ ]heyting2__1244_25.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1245_57.min1.thm12017-02-06 12:45 598  
[ ]heyting2__1246_19.min1.thm12017-02-06 12:45 1.6K 
[ ]heyting2__1257_25.min1.thm12017-02-06 12:45 1.2K 
[ ]heyting2__1258_57.min1.thm12017-02-06 12:45 666  
[ ]heyting2__1260_19.min1.thm12017-02-06 12:45 2.4K 
[ ]heyting2__1270_68.min1.thm12017-02-06 12:45 677  
[ ]heyting2__1275_20.min1.thm12017-02-06 12:45 833  
[ ]heyting2__1276_23.min1.thm12017-02-06 12:45 579  
[ ]heyting2__1277_19.min1.thm12017-02-06 12:45 1.0K 
[ ]heyting2__1279_50.min1.thm12017-02-06 12:45 892  
[ ]heyting2__1284_16.min1.thm12017-02-06 12:45 599  
[ ]heyting2__1300_14.min1.thm12017-02-06 12:45 824  
[ ]heyting2__1304_11.min1.thm12017-02-06 12:45 318  
[ ]heyting2__1304_11.min1.thm1.tptp2017-02-06 16:47 232  
[ ]heyting2__1305_57.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__1306_21.min1.thm12017-02-06 12:45 608  
[ ]heyting2__1312_18.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__1323_18.min1.thm12017-02-06 12:45 326  
[ ]heyting2__1323_18.min1.thm1.tptp2017-02-06 16:47 240  
[ ]heyting2__1324_23.min1.thm12017-02-06 12:45 574  
[ ]heyting2__1330_17.min1.thm12017-02-06 12:45 843  
[ ]heyting2__1334_14.min1.thm12017-02-06 12:45 638  
[ ]heyting2__1334_14.min1.thm1.tptp2017-02-06 16:47 552  
[ ]heyting2__1335_23.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__1341_18.min1.thm12017-02-06 12:45 514  
[ ]heyting2__1351_59.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__1357_33.min1.thm12017-02-06 12:45 815  
[ ]heyting2__1364_69.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting2__1386_59.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__1392_43.min1.thm12017-02-06 12:45 1.7K 
[ ]heyting2__1416_34.min1.thm12017-02-06 12:45 817  
[ ]heyting2__1422_57.min1.thm12017-02-06 12:45 598  
[ ]heyting2__1431_19.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__1432_55.min1.thm12017-02-06 12:45 1.4K 
[ ]heyting2__1438_18.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__1439_68.min1.thm12017-02-06 12:45 1.1K 
[ ]heyting2__1440_18.min1.thm12017-02-06 12:45 885  
[ ]heyting2__1462_23.min1.thm12017-02-06 12:45 2.6K 
[ ]heyting2__1468_14.min1.thm12017-02-06 12:45 341  
[ ]heyting2__1468_14.min1.thm1.tptp2017-02-06 16:47 263  
[ ]heyting2__1479_7.min1.thm12017-02-06 12:45 2.4K 
[ ]heyting2__1480_26.min1.thm12017-02-06 12:45 2.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80