改訂版にあたって


今日の Mizar は,ますます多くの応用分野で使われるようになり,インターネットの WWW ホームページも持つようになりました.ユーザ達のサポートや Mizar の処理能力を上げるために,Mizar は頻繁にバージョンアップをしています.この講義録に,その改良をできるだけまとめていき,これからも Mizar を学ぶ人の助けになることを期待しています.