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
.