Each file of MS-DOS version and the Linux version for Practice Environment
installation of Mizar is about 14 M bytes archive file. Therefore, it is
easy to get them using a browser or the ftp command from Homepage and the
ftp server of Mizar. For example, if it is from Homepege, please get them
from the following URL etc.
Please refer to Appendix C about getting from an anonymous ftp server.
Mizar is used installing the Mizar archive file to the hard disk.