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

• Articles: PROB_3, FILEREC1, CIRCLED1, TOPGEN_4, MESFUNC4, JGRAPH_8, TIETZE, JORDAN24, JORDAN, MATRIXC1 have been checked by the Mizar System ver. 7.5.01_4.39.921
• Articles: SERIES_4, FDIFF_5, SIN_COS8, TOPGEN_5 have been checked by the Mizar System ver. 7.6.01_4.46.926
• Articles: SERIES_5, FDIFF_6, BINARI_6, MATRIX_6, GFACIRC1, RING_1, REAL_NS1 have been checked by the Mizar System ver. 7.6.01_4.50.934