New Mizar articles

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

Grzegorz Bancerek submitted an article entitled:
      "Miscellaneous Facts about Functors"
        (MML identifier: YELLOW20)

Adam Naumowicz submitted an article entitled:
      "Some Remarks on Finite Sequences on Go-boards"
        (MML identifier: JORDAN1F)
to the Mizar Mathematical Library.  The preprints of the articles are

Robert Milewski submitted an article entitled:
      "Upper and Lower Sequence on the Cage. Part II"
        (MML identifier: JORDAN1G)

Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura submitted
  an article entitled:
      "Zero Based Finite Sequences"
        (MML identifier: XFINSQ_1)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:

 http://mizar.uwb.edu.pl/JFM/Preprints.html

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

Library Committee of the Association of Mizar Users