[mizar] New Mizar mirror site at Auburn University

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

Dear All,

I'd like to announce that we have set up a new Mizar mirror site at Auburn 
University. The address is:

http://mizar.auburn.edu

Since the operation of the Canadian mirror maintained by Piotr Rudnicki in 
Edmonton has been discontinued, this new site will now be the main 
Mizar mirror in America.

Regards,

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/
=======================================================================