Now, the Syntax of a Mizar Article is available as a full
hypertext document at:
http://mizar.uw.bialystok.pl/language/syntax.html
This document has been generated mechanicaly.
-------------------------------------------------------------------
.
Mariusz Zynel
Institute of Mathematics
Warsaw University, Bialystok Division
mariuszz@math.uw.bialystok.pl