Hello to all Mizar Society !
Grigory Ivanov asked me to tell you (esp to you, Andrey), that he is online. He has just a little problems with their server. So he asks you to plug his friend's addr to your discussion list -
roman_konst@pochtamt.ru
Best wishes
Vladimir Rykov