[mizar] Mizar 7.8.01 MML 4.70.946

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

  Dear Mizar Users,
  this is to inform you that the new release of the Mizar Mathematical
Library (4.70.946) is now available together with the system binaries 
(ver. 7.8.01) for all supported platforms. Underlying links can be find
on our main home page (http://mizar.uwb.edu.pl and http://mizar.org).
  Note that every time you would like to submit your Mizar article
for inclusion in the Mizar Mathematical Library you should check
if your article does not produce any errors under the latest official
release of the Mizar system. Otherwise, the submission will be returned
to its author and hence will not be subject for the review process.
  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users