7.2 Preparation for Using Mizar


To use Mizar, we first need to make our own directory. In C:, a directory named USER needs to be created and our own directory is made under it. For instance, because my name is Nakamura, I need to make a directory named nakamura under the USER directory. Below it, three directories of TEXT,DICT,and PREL are created. To explain each directory: TEXT directory is for placing Mizar articles (.MIZ file) that the users write. In addition, an intermediate file that outputs the Mizar system is also placed here. DICT is an abbreviation of DICTionary and the vocabulary file(.VOC file) that the user has written is placed. New words are written under this vocabulary file. PREL is an abbreviation of PRELiminaries, and this is used to store the necessary files to view articles that are not registered in the Mizar library.


C:USERNAKAMURATEXT

DICT

PREL

Usually, when using Mizar, one's own directory is used under the current directory C:USER.