Hi All, it is to inform you that the regeneration of Journal of Formalized Mathematics is delayed for technical reasons. All new articles are not available in their "linked abstract" form and old ones are not up-to-date. Sorry for inconvenience. I will try to correct it soon. You may still preview new Mizar articles in PDF and postscript form. Regards, Adam Grabowski Library Committee of the Association of Mizar Users