The Mizar Forum Archives

[Mariusz Zynel <mariusz@math.uwb.edu.pl>]

I would like to inform that the on-line archives of Mizar Forum are 
now available at:
  
  http://mizar.uwb.edu.pl/forum/archive

Archives can be fully searched and browsed by date, as well as, by 
thread through WWW.

Regards

-- 
        .
Mariusz Zynel

Institute of Mathematics   |   phone: +48 (85) 745 75 52
University of Bialystok    |
Akademicka 2 St            |   mailto:mariusz@math.uwb.edu.pl
15-267 Bialystok           |
Poland                     |   http://math.uwb.edu.pl/~mariusz/