改訂版にあたって

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