Appendix B

Mizar ライブラリ定理集

　ここには，Mizar ライブラリの中で頻繁に引用される article の定理，定義をコンパクトに編集したものを掲載してあります．
　適宜，もとの abstract file を参照してください．

http://markun.cs.shinshu-u.ac.jp/Mirror/mizar.org/JFM/mmlident.html

などから参照できます．