![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| FM/ | 2016-06-15 21:26 | - | |
| HOL/ | 2016-06-15 21:26 | - | |
| ISA/ | 2016-06-15 21:26 | - | |
| MHTML/ | 2017-03-12 00:34 | - | |
| Makefile | 2016-06-15 21:26 | 184 | |
| Makefile.html | 2016-06-15 21:26 | 2.1K | |
| MizComments.pl | 2016-06-15 21:26 | 1.8K | |
| addabsrefs.xsl | 2016-06-15 21:26 | 49K | |
| addabsrefs.xsltxt | 2016-06-15 21:26 | 20K | |
| addabsrefs1.xsl | 2016-08-13 08:00 | 49K | |
| constrnames.xsltxt | 2016-06-15 21:26 | 3.1K | |
| constrnames1.xsl | 2016-06-15 21:26 | 7.6K | |
| constrnames1.xsltxt | 2016-06-15 21:26 | 3.3K | |
| eXistMML.xsl | 2016-06-15 21:26 | 23K | |
| eXistMML.xsltxt | 2016-06-15 21:26 | 7.4K | |
| evl2dep.xsl | 2016-06-15 21:26 | 2.0K | |
| evl2dep.xsltxt | 2016-06-15 21:26 | 893 | |
| evl2dep1.xsl | 2016-06-15 21:26 | 2.0K | |
| evl2dep1.xsltxt | 2016-06-15 21:26 | 899 | |
| evl2pl.xsl | 2016-06-15 21:26 | 2.6K | |
| evl2pl.xsltxt | 2016-06-15 21:26 | 1.0K | |
| evl2txt.xsl | 2016-06-15 21:26 | 1.6K | |
| evl2txt.xsltxt | 2016-06-15 21:26 | 715 | |
| fix_top_now.pl | 2016-06-15 21:26 | 1.4K | |
| frdgrm.rnc | 2016-06-15 21:26 | 3.9K | |
| install_miz.sh | 2016-06-15 21:26 | 423 | |
| miz.xsl | 2017-03-12 00:34 | 351K | |
| miz.xsl.old | 2016-06-15 21:26 | 345K | |
| miz.xsl1 | 2016-08-18 17:21 | 349K | |
| miz.xsltxt | 2017-03-12 00:34 | 130K | |
| miz1.xsl | 2016-06-15 21:26 | 329K | |
| miz1.xsltxt | 2016-06-15 21:26 | 119K | |
| miz2dli.xsl | 2016-06-15 21:26 | 47K | |
| miz2dli.xsltxt | 2016-06-15 21:26 | 20K | |
| miz2outref.xsl | 2016-06-15 21:26 | 27K | |
| miz2outref.xsltxt | 2016-06-15 21:26 | 11K | |
| miz4.xsl | 2016-08-13 06:39 | 345K | |
| mizpl.xsl | 2018-05-07 16:58 | 212K | |
| mizpl.xsl.old | 2016-07-19 23:53 | 195K | |
| mizpl.xsltxt | 2018-05-07 16:58 | 76K | |
| mizpl.xsltxt.old | 2018-04-19 18:35 | 74K | |
| mizpl1.xsl | 2016-08-13 07:59 | 192K | |
| mk_miz.sh | 2016-06-15 21:26 | 1.3K | |
| mkxmlhead.pl | 2016-06-15 21:26 | 2.5K | |
| pattnames.xsl | 2019-01-21 20:21 | 7.1K | |
| pattnames.xsltxt | 2021-07-16 21:31 | 3.0K | |
| remproofs.xsl | 2016-06-15 21:26 | 738 | |
| remproofs.xsltxt | 2016-06-15 21:26 | 401 | |
| rng-doc.xsl | 2016-06-15 21:26 | 17K | |
| selectelems.xsltxt | 2016-06-15 21:26 | 637 | |
| split4eXist.pl | 2016-06-15 21:26 | 914 | |
| strip_lines_and_column_info.xsl | 2016-06-15 21:26 | 370 | |
| th_positions.xsltxt | 2016-06-15 21:26 | 617 | |
| thpos.xsl | 2016-06-15 21:26 | 2.5K | |
| thpos.xsltxt | 2016-06-15 21:26 | 1.1K | |
| thpos1.xsl | 2021-07-16 21:31 | 1.9K | |
| thpos1.xsltxt | 2021-07-16 21:31 | 1.0K | |
| topproofs.xsl | 2016-06-15 21:26 | 1.0K | |
| topproofs.xsltxt | 2016-06-15 21:26 | 571 | |
| tptp2miz.xsl | 2016-06-15 21:26 | 16K | |
| tptp2miz.xsltxt | 2016-06-15 21:26 | 5.8K | |
| tstp2dli.xsl | 2016-06-15 21:26 | 16K | |
| tstp2dli.xsltxt | 2016-06-15 21:26 | 5.5K | |
| tstp2dli_prop.xsl | 2016-06-15 21:26 | 17K | |
| tstp2dli_prop.xsltxt | 2016-06-15 21:26 | 5.6K | |
| xsl4mizar/ | 2021-07-16 21:31 | - | |
| xsltxt.el | 2016-06-15 21:26 | 3.3K | |
| xsltxt.jar | 2016-06-15 21:26 | 204K | |
| xsltxt.st | 2016-06-15 21:26 | 2.1K | |