Appendix B

A Compilation of
Mizar Library Theorems

Here, we have carried the theorems and definitions which were edited into the compact of article frequently quoted in the Mizar library.
    Please refer to the original abstract file if needed. We can refer to it from the following URL.

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