![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00ChallFiles | 2012-03-15 19:24 | 284 | |
| 00all_fr | 2016-03-01 17:58 | 799K | |
| 00all_spec | 2016-03-01 18:26 | 44K | |
| 00allby1 | 2020-11-13 18:03 | 15M | |
| 00allfrom1 | 2020-11-13 18:13 | 170K | |
| 00allmmlax | 2012-03-16 04:59 | 34M | |
| 00allmmlax.human | 2014-06-17 11:53 | 26M | |
| 00allmmlax.old | 2012-03-15 19:25 | 34M | |
| 00allmmlax_zzz | 2024-01-29 01:46 | 36M | |
| 00atp15 | 2013-09-29 05:35 | 6.9M | |
| 00atp15.thf1 | 2017-02-01 17:17 | 6.8M | |
| 00atp15.thf2 | 2017-02-01 17:18 | 6.8M | |
| 00bz1 | 2023-06-27 16:29 | 58K | |
| 00bz2 | 2023-06-27 16:41 | 56K | |
| 00constrnames | 2014-06-15 00:33 | 257K | |
| 00constrnamesarity | 2014-06-15 14:22 | 308K | |
| 00constsrt | 2013-11-10 17:11 | 8.0M | |
| 00eall | 2013-11-12 16:59 | 2.6M | |
| 00fr_funcs | 2019-06-28 09:25 | 5.4K | |
| 00fraenkel2 | 2013-09-20 03:49 | 7.3K | |
| 00hist2 | 2019-06-28 09:56 | 46K | |
| 00inst4mptp.log | 2012-03-18 07:33 | 3.4M | |
| 00miz15 | 2013-09-29 05:44 | 266M | |
| 00mizrefs | 2013-09-09 03:54 | 8.8M | |
| 00mizrefs.thf2 | 2017-02-01 17:22 | 8.7M | |
| 00prdiff15 | 2013-10-02 03:34 | 559K | |
| 00provedatp | 2013-11-12 03:38 | 349K | |
| 00resorig5 | 2013-09-30 08:38 | 42K | |
| 00schemeUsed | 2016-02-25 09:07 | 123K | |
| 00seq | 2013-09-29 05:48 | 3.1M | |
| 00seq1 | 2013-09-02 14:19 | 1.2M | |
| 00sym0eq | 2014-06-30 08:31 | 73M | |
| 00sym0eq.old | 2014-06-30 08:31 | 73M | |
| 00symdeq | 2013-09-30 16:41 | 82M | |
| 00t_from | 2017-01-05 17:33 | 77K | |
| 00thlen | 2019-11-30 15:36 | 769K | |
| 00thpos | 2013-09-21 02:31 | 1.1M | |
| 00tlall | 2013-11-11 10:22 | 643K | |
| 00tmp123 | 2016-11-10 13:12 | 130 | |
| 00xml2deps | 2013-11-11 10:03 | 74M | |
| 00xml2edeps | 2013-11-12 16:45 | 146M | |
| 000fc | 2012-10-30 12:08 | 0 | |
| 03div | 2012-03-15 19:24 | 23K | |
| 04div | 2012-03-15 19:24 | 7.0K | |
| Axioms.bck1/ | 2012-03-16 02:25 | - | |
| Axioms.tar.gz | 2016-02-24 15:19 | 2.5M | |
| Axioms/ | 2012-03-16 02:25 | - | |
| Axioms1/ | 2024-01-29 01:08 | - | |
| Axioms2/ | 2024-01-29 01:41 | - | |
| AxiomsThf/ | 2016-07-19 18:15 | - | |
| COPYING.CC-BY-SA | 2012-02-17 07:38 | 22K | |
| COPYING.GPL | 2012-02-17 07:38 | 34K | |
| COPYING.interpretation | 2012-02-17 07:38 | 553 | |
| FAQ | 2012-02-17 07:38 | 8.9K | |
| MMLdivision | 2012-03-15 19:24 | 1.2K | |
| MMLdivision.1011 | 2012-03-15 19:24 | 2.3K | |
| MMLdivtest.pl | 2012-03-15 19:24 | 458 | |
| MPTPParseSPASS.pl | 2012-03-15 19:24 | 11K | |
| Makefile | 2012-03-15 15:39 | 3.6K | |
| Makefile.by | 2012-03-15 19:24 | 827 | |
| Mizar_FLA.pdf | 2012-02-17 07:38 | 52K | |
| Mizar_FLA.tex | 2012-02-17 07:38 | 12K | |
| README | 2012-03-15 19:24 | 4.7K | |
| blatmp/ | 2016-03-02 19:37 | - | |
| blq1/ | 2019-08-16 12:25 | - | |
| blq2/ | 2019-08-16 12:56 | - | |
| blq3/ | 2019-08-16 15:50 | - | |
| by_all_res1.tar.gz | 2017-02-13 15:51 | 335M | |
| cclusters1103.pl | 2012-03-15 19:24 | 257K | |
| cclusters1132.pl | 2012-03-15 19:24 | 273K | |
| chad1/ | 2018-02-28 15:26 | - | |
| check_cnf.pl | 2012-03-15 19:24 | 356 | |
| cnfcyc.pl | 2012-03-15 19:24 | 829 | |
| conj/ | 2016-03-16 14:22 | - | |
| constr_names1.pl | 2012-03-15 19:24 | 683K | |
| dbenv.pl | 2012-03-15 19:24 | 1.2K | |
| dbenv2.pl | 2012-03-15 19:24 | 641 | |
| dbenv_date.pl | 2012-03-15 19:24 | 1.9K | |
| deps.a | 2016-05-21 14:41 | 6.9M | |
| dfgres.pl | 2012-03-15 19:24 | 474 | |
| dli2html.pl | 2012-03-15 19:24 | 407 | |
| env_utils.pl | 2012-03-15 19:24 | 4.0K | |
| eres.pl | 2012-03-15 19:24 | 452 | |
| err2pl.pl | 2012-03-15 19:24 | 139 | |
| err2xml.pl | 2012-03-15 19:24 | 233 | |
| extract_e_refs.pl | 2012-03-15 19:24 | 1.0K | |
| fclusters1103.pl | 2012-03-15 19:24 | 2.4M | |
| fclusters1132.pl | 2012-03-15 19:24 | 2.3M | |
| feat_enigma.gz | 2019-07-05 10:07 | 26M | |
| fixrates.pl | 2012-03-15 19:24 | 614 | |
| hidden.dco2 | 2012-03-15 19:24 | 196 | |
| ilp0/ | 2017-02-06 20:24 | - | |
| ilp1.tar.gz | 2017-02-06 17:03 | 1.3M | |
| ilp1/ | 2017-02-06 16:58 | - | |
| ilp_all_thm.tar.gz | 2017-02-06 20:33 | 260M | |
| install_MizAR.sh | 2012-03-15 19:24 | 4.5K | |
| makespec1.pl | 2012-03-15 19:24 | 1.3K | |
| miz2.tar.gz | 2017-01-30 07:16 | 7.4M | |
| mk_derived.pl | 2012-03-15 19:24 | 1.0K | |
| mk_derived1.pl | 2017-01-12 20:00 | 1.0K | |
| mk_derived_pl.sh | 2012-03-15 19:24 | 308 | |
| mkfullincludes.pl | 2012-03-15 19:24 | 378 | |
| mml.lar | 2012-02-17 07:39 | 9.6K | |
| mml.lar.1011 | 2012-03-15 19:24 | 8.4K | |
| mml1147_coproofs.txt1 | 2013-09-02 11:59 | 63M | |
| mml1147_coproofs.txt1.weighted | 2013-09-02 11:59 | 35M | |
| mptp2078articles.tar.gz | 2013-09-24 05:00 | 1.2M | |
| mptp_html.pl | 2012-03-15 19:24 | 488 | |
| mptp_problems_small.7.13.01_4.181.1147.tar.gz | 2012-03-18 07:42 | 179M | |
| pl.old/ | 2016-03-01 18:26 | - | |
| pl.tar.gz | 2013-09-04 03:26 | 100M | |
| pl/ | 2016-03-01 18:26 | - | |
| problems.bad.tar.gz | 2017-03-14 02:07 | 154M | |
| problems/ | 2023-06-28 00:41 | - | |
| problems00/ | 2017-03-01 15:06 | - | |
| problems_by4/ | 2016-03-18 17:56 | - | |
| problems_by4_no_sethood/ | 2016-03-10 13:20 | - | |
| problems_by4n/ | 2016-03-14 18:20 | - | |
| problems_by_fof_all.tar.gz | 2017-02-06 21:32 | 2.6G | |
| problems_byall.bad_dt_f/ | 2017-01-13 12:27 | - | |
| problems_byall1/ | 2017-01-13 22:39 | - | |
| problems_byall_isof.bad_dt_f/ | 2017-01-07 11:12 | - | |
| problems_byall_isof1/ | 2017-01-15 15:12 | - | |
| problems_from_newthf.tar.gz | 2023-06-27 16:56 | 45M | |
| problems_from_newthf/ | 2023-06-27 16:52 | - | |
| problems_from_newthf1.tar.gz | 2023-06-27 17:25 | 45M | |
| problems_from_newthf1/ | 2023-06-27 17:21 | - | |
| problems_from_newthf2.tar.gz | 2023-06-27 17:32 | 43M | |
| problems_from_newthf_all.tar.gz | 2023-06-28 06:47 | 352M | |
| problems_gdfthf/ | 2019-08-19 18:51 | - | |
| problems_notypes/ | 2017-03-01 16:02 | - | |
| problems_old1/ | 2016-06-10 16:04 | - | |
| problems_small_consist.tar.gz | 2013-09-04 05:23 | 198M | |
| problems_small_consist/ | 2013-09-04 13:14 | - | |
| problems_thf_from.bad_dt_f.tar.gz | 2017-03-14 11:30 | 38M | |
| problems_thf_from.old.tar.gz | 2017-03-14 11:29 | 38M | |
| problems_thf_from.old1.tar.gz | 2017-03-14 11:27 | 38M | |
| problems_thf_from.old2.tar.gz | 2017-03-14 09:51 | 40M | |
| problems_thf_from/ | 2017-01-12 23:31 | - | |
| problems_thf_from1/ | 2017-01-13 19:02 | - | |
| problems_thf_from_no_sethood.tar.gz | 2017-03-14 11:30 | 38M | |
| problems_thf_isof_from.bad_dt_f/ | 2017-01-05 21:26 | - | |
| problems_thf_isof_from/ | 2017-01-13 00:17 | - | |
| problems_thf_isof_from1/ | 2017-01-13 18:32 | - | |
| problems_thf_isof_tls.bad_dt_f.tar.gz | 2017-03-14 09:59 | 449M | |
| problems_thf_isof_tls/ | 2017-01-13 00:49 | - | |
| problems_thf_isof_tls1/ | 2017-01-13 17:59 | - | |
| problems_thf_sch.bad_dt_f.tar.gz | 2017-03-14 11:30 | 3.8M | |
| problems_thf_sch.bck1.tar.gz | 2017-03-14 11:30 | 3.8M | |
| problems_thf_sch.old.tar.gz | 2017-03-14 11:30 | 3.8M | |
| problems_thf_sch_no_sethood.tar.gz | 2017-03-14 11:30 | 3.8M | |
| problems_thf_sch_np/ | 2016-03-18 18:01 | - | |
| problems_thf_tl.bad_dt_f/ | 2017-01-12 18:33 | - | |
| problems_thf_tl.old.tar.gz | 2017-03-14 01:57 | 328M | |
| problems_thf_tl.old1.tar.gz | 2017-03-14 09:56 | 348M | |
| problems_thf_tl.tar.gz | 2017-01-05 20:49 | 328M | |
| problems_thf_tls/ | 2017-02-18 18:26 | - | |
| problems_thf_tls1/ | 2017-02-01 17:10 | - | |
| problems_thf_tls1_pruned/ | 2017-01-19 13:22 | - | |
| screenlog.0 | 2017-03-01 15:27 | 1.1G | |
| screenlog.0.old.gz | 2016-03-02 20:43 | 28M | |
| seq | 2016-05-12 11:26 | 3.1M | |
| seq.thf2 | 2017-02-01 17:22 | 3.0M | |
| seq_dt | 2016-11-10 16:30 | 735K | |
| seq_dt.thf2 | 2017-02-01 17:22 | 735K | |
| snow3.refnr | 2013-09-02 11:55 | 746K | |
| snow3.symnr | 2013-09-02 11:55 | 133K | |
| snow3.train | 2013-09-02 11:55 | 8.5M | |
| statements | 2016-05-21 14:43 | 48M | |
| statements1 | 2017-02-17 12:26 | 47M | |
| statements_noint | 2017-04-17 12:04 | 49M | |
| statements_np | 2017-04-17 12:08 | 49M | |
| symbols | 2017-02-16 14:07 | 25M | |
| terms.pl | 2012-03-15 19:24 | 4.3K | |
| tstpres2SS.sh | 2012-03-15 19:24 | 1.4K | |
| utils.pl | 2017-03-01 10:42 | 265K | |
| utils.pl.bckport | 2020-03-08 01:44 | 248K | |
| utils.pl.bla | 2016-07-19 23:16 | 248K | |
| utils.pl.new1 | 2016-02-25 00:35 | 245K | |
| utils.pl.new2 | 2016-03-01 16:39 | 245K | |
| utils.pl.new3 | 2016-03-01 16:56 | 245K | |
| utils.pl.new4 | 2017-01-13 22:30 | 262K | |
| utils.pl.old | 2012-03-15 19:24 | 213K | |
| utils.pl.old1 | 2012-03-18 06:28 | 214K | |
| utils.pl.old2 | 2016-03-08 17:33 | 245K | |
| utils.pl.old2.looksokin1382 | 2016-03-08 17:33 | 245K | |
| utils.pl.old3 | 2017-01-13 17:21 | 262K | |
| utils.pl.std.mizar | 2012-09-27 15:21 | 215K | |
| utils.pl.thfgdv | 2019-08-16 12:23 | 268K | |
| utils.pl.too_new | 2017-01-13 17:34 | 263K | |
| utils.pl1 | 2013-09-02 13:55 | 215K | |
| utils.pl1.old | 2013-09-02 13:38 | 215K | |
| utils.ple | 2012-03-15 19:24 | 213K | |
| utils1382.pl | 2023-06-27 16:15 | 245K | |
| utils_new_thf.pl | 2023-06-28 00:26 | 246K | |
| utils_zz.pl | 2024-01-29 01:41 | 270K | |
| zz/ | 2023-06-27 16:36 | - | |
| zz1 | 2017-01-17 19:29 | 88K | |