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