![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| abstr.zip | 2012-12-02 00:05 | 4.0M | |
| abstr/ | 2018-01-09 18:33 | - | |
| install.bat | 2012-05-31 23:10 | 2.1K | |
| license | 2002-02-16 19:30 | 3.0K | |
| mizar-8.0.01_5.6.1169-i386-win32.exe | 2018-01-09 18:33 | 29M | |
| mizbib.zip | 2012-12-01 23:48 | 645K | |
| mizdb1.zip | 2012-12-01 23:59 | 118K | |
| mizdoc.zip | 2012-12-01 23:59 | 373K | |
| mizsys.zip | 2012-12-01 23:30 | 775K | |
| mizutil.zip | 2012-12-01 23:30 | 2.1M | |
| mizxml.zip | 2012-02-16 01:14 | 204K | |
| mmlfull.zip | 2012-12-01 23:54 | 15M | |
| prel.zip | 2012-12-01 23:55 | 6.7M | |
| readme.txt | 2012-12-01 23:49 | 3.0K | |
| unzip.exe | 2000-04-16 04:55 | 65K | |