New Mizar articles

[Library Committee <mml@mizar.uwb.edu.pl>]

Mariusz Giero and Roman Matuszewski submitted an article entitled:
      "Lower Tolerance. Preliminaries to Wroclaw Taxonomy."
        (MML identifier: TAXONOM1)
 
Grzegorz Bancerek submitted an article entitled:
      "Concrete Categories"
        (MML identifier: YELLOW18)
 
to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.org/JFM/Preprints.html

------------

Library Committee of the Association of Mizar Users