7.3 Mizarのシステム

Mizar のシステムは C:＼MIZAR に作られますが，その中で大事なディレクトリとして，ABSTR があります．これは，ABSTRact の略で，この中に今まで作られてきた，abstract file があります．例えば，BOOLE.ABS や，TARSKI.ABS です．article を書くときに，この中のファイルを頻繁に参照します．PRELには，Mizar ライブラリに登録さえている article を参照するときに使うファイルが置かれています．Mizar の様々なコマンドは， C:＼MIZAR に置かれます．