7.3　Mizar のシステム

　Mizar のシステムは，MS-DOS版では， C:\MIZAR に作られますが，その中で大事なディレクトリとして，ABSTR があります．これは，ABSTRact の略で，この中に今まで作られてきた abstract file があります．例えば，BOOLE.ABS や， TARSKI.ABS です．article を書くときに，この中のファイルを頻繁に参照します．
　その他のディレクトリとしては以下のものがあります．
　PREL には，Mizar ライブラリに登録されている article を参照するときに使うファイルが置かれています．
　MML にはライブラリの MIZ ファイル（詳細な証明が付いているもの）がインストールされます．
　DOC には インストールした Mizar のREADMEファイル，ライブラリに登録する時に使うドキュメントやその他 Mizar に関連するドキュメントがインストールされています．
　Mizar の様々なコマンドはC:\MIZAR 直下に置かれます．
同様に Linux版では，7.2.1のインストール手順の説明でも書きましたように，Mizar のさまざまなコマンドは /usr/local/bin にインストールされ，ABSTR, PREL や MML のディレクトリは /usr/local/share/mizar に，DOC は /usr/local/doc/mizar に作られ，ファイルがインストールされます．