Every article has been checked by the Mizar System ver. 7.5.01_4.35.912

Formalized Mathematics    (ISSN 1426-2630)
Volume 13, Number 1 (2005): pdf, ps, dvi.