The Syntax of a Mizar Language has been updated and also
it is now available in a multi page version at:
http://mizar.uw.bialystok.pl/language/pages/mizar-article.html
Those pages has been generated automaticaly.
-------------------------------------------------------------------
.
Mariusz Zynel
Institute of Mathematics
Warsaw University, Bialystok Division
mariuszz@math.uw.bialystok.pl