Hi All, The Mizar grammar file mizar.xml at http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/MizarSyntax has just been changed. I think it is useful to have only one main source for the Mizar grammar, so I'll try to keep this grammar up to date. I hope that my messages about changes in the grammar description don't bother forum readers too much. Michael Nedzelsky