あとがき

　この原本は，中村が1992年9月5日に信州大学で講義した内容をもとに，渡辺，田中，カワモトが加筆，編集したものです．
　当時の Mizar はバージョン3.29 にもとづいた内容で，一部は Mizarバージョン4.09 をもとに改訂してありました．
　本書の内容は Mizarバージョン5.2.12を参考にしている改訂版，バージョン5.3.06を参考にしている三訂版を経て2002年6月現在の最新バージョンであるバージョン6.1.12に基づく四訂版となっています.
　Mizarは頻繁にバージョンアップされますのでご了承ください.
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　著者

参考文献

[1] Ewa Bonarska (Olgierd Wojtasiewicz英訳, Roman Matuszewski編集) ,　An Introduction to PC Mizar, Fondation Philippe le Hodey, 1990