Re: [mizar] Mizar - Trybulec = ...

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Dear Colleagues,

I want to thank you for all the words of sympathy I've received 
personally, I'll forward all the condolences to Andrzej's family.
Now I'd like to let you know about the web page that we've set up where 
those who knew Andrzej can symbolically light a virtual candle to His 
memory:
http://mizar.uwb.edu.pl/cgi-bin/andrzej/memento


Adam Naumowicz

=======================================================================
Dept. of Programming and Formal Methods  Fax: +48(85)7457662
Institute of Informatics                 Tel: +48(85)7457559 (office)
University of Bialystok                  E-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/
=======================================================================