[mizar] Mizar sources - errata

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

sorry, the link is 
http://www.uclic.ucl.ac.uk/usr/jgow/papers/parsing.ps.gz

On Fri, 14 Nov 2003, Josef Urban wrote:

> 
> I just noted that there is another attempt to port Mizar to other 
> language (http://www.uclic.ucl.ac.uk/imp/papers/mkm03.ps.gz).
> 
> It is a shame to see how the public unavailibility of the Mizar sources 
> makes this hard for the enthusiasts, and causes them to fall into the same 
> traps I remember from my own reverse engineering attempts.
> 
> Josef
> 
>