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