[mizar] Mizar sources

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

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