Re: [mizar] busted link on mizar bibliography page

[Adam Grabowski <adam@math.uwb.edu.pl>]

On Thu, 21 Dec 2006, Jesse Alama wrote:

> The link to Naumowicz and Bylinski's "Improving mizar texts with
> Properties and Requirements" on
> http://www.mizar.org/project/bibliography.html is broken -- I got a
> 404 error when I tried to follow that link.  A working link is
> http://www.springerlink.com/content/72cdg95ndd3ywgl8/
  I corrected it; thanks for the pointer.
  Regards,
  Adam Grabowski