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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]00ChallFiles2012-03-15 19:24 284  
[   ]00all_fr2016-03-01 17:58 799K 
[   ]00all_spec2016-03-01 18:26 44K 
[   ]00allby12020-11-13 18:03 15M 
[   ]00allfrom12020-11-13 18:13 170K 
[   ]00allmmlax2012-03-16 04:59 34M 
[   ]00allmmlax.human2014-06-17 11:53 26M 
[   ]00allmmlax.old2012-03-15 19:25 34M 
[   ]00allmmlax_zzz2024-01-29 01:46 36M 
[   ]00atp152013-09-29 05:35 6.9M 
[   ]00atp15.thf12017-02-01 17:17 6.8M 
[   ]00atp15.thf22017-02-01 17:18 6.8M 
[   ]00bz12023-06-27 16:29 58K 
[   ]00bz22023-06-27 16:41 56K 
[   ]00constrnames2014-06-15 00:33 257K 
[   ]00constrnamesarity2014-06-15 14:22 308K 
[   ]00constsrt2013-11-10 17:11 8.0M 
[   ]00eall2013-11-12 16:59 2.6M 
[   ]00fr_funcs2019-06-28 09:25 5.4K 
[   ]00fraenkel22013-09-20 03:49 7.3K 
[   ]00hist22019-06-28 09:56 46K 
[   ]00inst4mptp.log2012-03-18 07:33 3.4M 
[   ]00miz152013-09-29 05:44 266M 
[   ]00mizrefs2013-09-09 03:54 8.8M 
[   ]00mizrefs.thf22017-02-01 17:22 8.7M 
[   ]00prdiff152013-10-02 03:34 559K 
[   ]00provedatp2013-11-12 03:38 349K 
[   ]00resorig52013-09-30 08:38 42K 
[   ]00schemeUsed2016-02-25 09:07 123K 
[   ]00seq2013-09-29 05:48 3.1M 
[   ]00seq12013-09-02 14:19 1.2M 
[   ]00sym0eq2014-06-30 08:31 73M 
[   ]00sym0eq.old2014-06-30 08:31 73M 
[   ]00symdeq2013-09-30 16:41 82M 
[   ]00t_from2017-01-05 17:33 77K 
[   ]00thlen2019-11-30 15:36 769K 
[   ]00thpos2013-09-21 02:31 1.1M 
[   ]00tlall2013-11-11 10:22 643K 
[   ]00tmp1232016-11-10 13:12 130  
[   ]00xml2deps2013-11-11 10:03 74M 
[   ]00xml2edeps2013-11-12 16:45 146M 
[   ]000fc2012-10-30 12:08 0  
[   ]03div2012-03-15 19:24 23K 
[   ]04div2012-03-15 19:24 7.0K 
[DIR]Axioms.bck1/2012-03-16 02:25 -  
[   ]Axioms.tar.gz2016-02-24 15:19 2.5M 
[DIR]Axioms/2012-03-16 02:25 -  
[DIR]Axioms1/2024-01-29 01:08 -  
[DIR]Axioms2/2024-01-29 01:41 -  
[DIR]AxiomsThf/2016-07-19 18:15 -  
[   ]COPYING.CC-BY-SA2012-02-17 07:38 22K 
[   ]COPYING.GPL2012-02-17 07:38 34K 
[   ]COPYING.interpretation2012-02-17 07:38 553  
[   ]FAQ2012-02-17 07:38 8.9K 
[   ]MMLdivision2012-03-15 19:24 1.2K 
[   ]MMLdivision.10112012-03-15 19:24 2.3K 
[TXT]MMLdivtest.pl2012-03-15 19:24 458  
[TXT]MPTPParseSPASS.pl2012-03-15 19:24 11K 
[   ]Makefile2012-03-15 15:39 3.6K 
[   ]Makefile.by2012-03-15 19:24 827  
[   ]Mizar_FLA.pdf2012-02-17 07:38 52K 
[TXT]Mizar_FLA.tex2012-02-17 07:38 12K 
[   ]README2012-03-15 19:24 4.7K 
[DIR]blatmp/2016-03-02 19:37 -  
[DIR]blq1/2019-08-16 12:25 -  
[DIR]blq2/2019-08-16 12:56 -  
[DIR]blq3/2019-08-16 15:50 -  
[   ]by_all_res1.tar.gz2017-02-13 15:51 335M 
[TXT]cclusters1103.pl2012-03-15 19:24 257K 
[TXT]cclusters1132.pl2012-03-15 19:24 273K 
[DIR]chad1/2018-02-28 15:26 -  
[TXT]check_cnf.pl2012-03-15 19:24 356  
[TXT]cnfcyc.pl2012-03-15 19:24 829  
[DIR]conj/2016-03-16 14:22 -  
[TXT]constr_names1.pl2012-03-15 19:24 683K 
[TXT]dbenv.pl2012-03-15 19:24 1.2K 
[TXT]dbenv2.pl2012-03-15 19:24 641  
[TXT]dbenv_date.pl2012-03-15 19:24 1.9K 
[   ]deps.a2016-05-21 14:41 6.9M 
[TXT]dfgres.pl2012-03-15 19:24 474  
[TXT]dli2html.pl2012-03-15 19:24 407  
[TXT]env_utils.pl2012-03-15 19:24 4.0K 
[TXT]eres.pl2012-03-15 19:24 452  
[TXT]err2pl.pl2012-03-15 19:24 139  
[TXT]err2xml.pl2012-03-15 19:24 233  
[TXT]extract_e_refs.pl2012-03-15 19:24 1.0K 
[TXT]fclusters1103.pl2012-03-15 19:24 2.4M 
[TXT]fclusters1132.pl2012-03-15 19:24 2.3M 
[   ]feat_enigma.gz2019-07-05 10:07 26M 
[TXT]fixrates.pl2012-03-15 19:24 614  
[   ]hidden.dco22012-03-15 19:24 196  
[DIR]ilp0/2017-02-06 20:24 -  
[   ]ilp1.tar.gz2017-02-06 17:03 1.3M 
[DIR]ilp1/2017-02-06 16:58 -  
[   ]ilp_all_thm.tar.gz2017-02-06 20:33 260M 
[TXT]install_MizAR.sh2012-03-15 19:24 4.5K 
[TXT]makespec1.pl2012-03-15 19:24 1.3K 
[   ]miz2.tar.gz2017-01-30 07:16 7.4M 
[TXT]mk_derived.pl2012-03-15 19:24 1.0K 
[TXT]mk_derived1.pl2017-01-12 20:00 1.0K 
[TXT]mk_derived_pl.sh2012-03-15 19:24 308  
[TXT]mkfullincludes.pl2012-03-15 19:24 378  
[   ]mml.lar2012-02-17 07:39 9.6K 
[   ]mml.lar.10112012-03-15 19:24 8.4K 
[   ]mml1147_coproofs.txt12013-09-02 11:59 63M 
[   ]mml1147_coproofs.txt1.weighted2013-09-02 11:59 35M 
[   ]mptp2078articles.tar.gz2013-09-24 05:00 1.2M 
[TXT]mptp_html.pl2012-03-15 19:24 488  
[   ]mptp_problems_small.7.13.01_4.181.1147.tar.gz2012-03-18 07:42 179M 
[DIR]pl.old/2016-03-01 18:26 -  
[   ]pl.tar.gz2013-09-04 03:26 100M 
[DIR]pl/2016-03-01 18:26 -  
[   ]problems.bad.tar.gz2017-03-14 02:07 154M 
[DIR]problems/2023-06-28 00:41 -  
[DIR]problems00/2017-03-01 15:06 -  
[DIR]problems_by4/2016-03-18 17:56 -  
[DIR]problems_by4_no_sethood/2016-03-10 13:20 -  
[DIR]problems_by4n/2016-03-14 18:20 -  
[   ]problems_by_fof_all.tar.gz2017-02-06 21:32 2.6G 
[DIR]problems_byall.bad_dt_f/2017-01-13 12:27 -  
[DIR]problems_byall1/2017-01-13 22:39 -  
[DIR]problems_byall_isof.bad_dt_f/2017-01-07 11:12 -  
[DIR]problems_byall_isof1/2017-01-15 15:12 -  
[   ]problems_from_newthf.tar.gz2023-06-27 16:56 45M 
[DIR]problems_from_newthf/2023-06-27 16:52 -  
[   ]problems_from_newthf1.tar.gz2023-06-27 17:25 45M 
[DIR]problems_from_newthf1/2023-06-27 17:21 -  
[   ]problems_from_newthf2.tar.gz2023-06-27 17:32 43M 
[   ]problems_from_newthf_all.tar.gz2023-06-28 06:47 352M 
[DIR]problems_gdfthf/2019-08-19 18:51 -  
[DIR]problems_notypes/2017-03-01 16:02 -  
[DIR]problems_old1/2016-06-10 16:04 -  
[   ]problems_small_consist.tar.gz2013-09-04 05:23 198M 
[DIR]problems_small_consist/2013-09-04 13:14 -  
[   ]problems_thf_from.bad_dt_f.tar.gz2017-03-14 11:30 38M 
[   ]problems_thf_from.old.tar.gz2017-03-14 11:29 38M 
[   ]problems_thf_from.old1.tar.gz2017-03-14 11:27 38M 
[   ]problems_thf_from.old2.tar.gz2017-03-14 09:51 40M 
[DIR]problems_thf_from/2017-01-12 23:31 -  
[DIR]problems_thf_from1/2017-01-13 19:02 -  
[   ]problems_thf_from_no_sethood.tar.gz2017-03-14 11:30 38M 
[DIR]problems_thf_isof_from.bad_dt_f/2017-01-05 21:26 -  
[DIR]problems_thf_isof_from/2017-01-13 00:17 -  
[DIR]problems_thf_isof_from1/2017-01-13 18:32 -  
[   ]problems_thf_isof_tls.bad_dt_f.tar.gz2017-03-14 09:59 449M 
[DIR]problems_thf_isof_tls/2017-01-13 00:49 -  
[DIR]problems_thf_isof_tls1/2017-01-13 17:59 -  
[   ]problems_thf_sch.bad_dt_f.tar.gz2017-03-14 11:30 3.8M 
[   ]problems_thf_sch.bck1.tar.gz2017-03-14 11:30 3.8M 
[   ]problems_thf_sch.old.tar.gz2017-03-14 11:30 3.8M 
[   ]problems_thf_sch_no_sethood.tar.gz2017-03-14 11:30 3.8M 
[DIR]problems_thf_sch_np/2016-03-18 18:01 -  
[DIR]problems_thf_tl.bad_dt_f/2017-01-12 18:33 -  
[   ]problems_thf_tl.old.tar.gz2017-03-14 01:57 328M 
[   ]problems_thf_tl.old1.tar.gz2017-03-14 09:56 348M 
[   ]problems_thf_tl.tar.gz2017-01-05 20:49 328M 
[DIR]problems_thf_tls/2017-02-18 18:26 -  
[DIR]problems_thf_tls1/2017-02-01 17:10 -  
[DIR]problems_thf_tls1_pruned/2017-01-19 13:22 -  
[   ]screenlog.02017-03-01 15:27 1.1G 
[   ]screenlog.0.old.gz2016-03-02 20:43 28M 
[   ]seq2016-05-12 11:26 3.1M 
[   ]seq.thf22017-02-01 17:22 3.0M 
[   ]seq_dt2016-11-10 16:30 735K 
[   ]seq_dt.thf22017-02-01 17:22 735K 
[   ]snow3.refnr2013-09-02 11:55 746K 
[   ]snow3.symnr2013-09-02 11:55 133K 
[   ]snow3.train2013-09-02 11:55 8.5M 
[   ]statements2016-05-21 14:43 48M 
[   ]statements12017-02-17 12:26 47M 
[   ]statements_noint2017-04-17 12:04 49M 
[   ]statements_np2017-04-17 12:08 49M 
[   ]symbols2017-02-16 14:07 25M 
[TXT]terms.pl2012-03-15 19:24 4.3K 
[TXT]tstpres2SS.sh2012-03-15 19:24 1.4K 
[TXT]utils.pl2017-03-01 10:42 265K 
[TXT]utils.pl.bckport2020-03-08 01:44 248K 
[TXT]utils.pl.bla2016-07-19 23:16 248K 
[TXT]utils.pl.new12016-02-25 00:35 245K 
[TXT]utils.pl.new22016-03-01 16:39 245K 
[TXT]utils.pl.new32016-03-01 16:56 245K 
[TXT]utils.pl.new42017-01-13 22:30 262K 
[   ]utils.pl.old2012-03-15 19:24 213K 
[TXT]utils.pl.old12012-03-18 06:28 214K 
[TXT]utils.pl.old22016-03-08 17:33 245K 
[TXT]utils.pl.old2.looksokin13822016-03-08 17:33 245K 
[TXT]utils.pl.old32017-01-13 17:21 262K 
[   ]utils.pl.std.mizar2012-09-27 15:21 215K 
[TXT]utils.pl.thfgdv2019-08-16 12:23 268K 
[TXT]utils.pl.too_new2017-01-13 17:34 263K 
[   ]utils.pl12013-09-02 13:55 215K 
[   ]utils.pl1.old2013-09-02 13:38 215K 
[   ]utils.ple2012-03-15 19:24 213K 
[TXT]utils1382.pl2023-06-27 16:15 245K 
[TXT]utils_new_thf.pl2023-06-28 00:26 246K 
[TXT]utils_zz.pl2024-01-29 01:41 270K 
[DIR]zz/2023-06-27 16:36 -  
[   ]zz12017-01-17 19:29 88K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80