References to MIZAR articles are given to the printed journal Formalized Mathematics. This journal prints the versions of MIZAR
articles as originally accepted for inclusion into MML. These
articles are mechanically translated into English and then
automatically typeset with TEX. As MML evolves over
time, the current versions of MIZAR articles are put into the
Journal of Formalized Mathematics (JFM) an electronic
publication available at
http://mizar.org/JFM. In JFM, as in MML, the name of an
article is used as its identifier and thus we included these names in
the references below. Some MML articles exist only in electronic
form as they were created as a result of MML revisions.