New Mizar articles

[Library Committee <mml@mizar.uw.bialystok.pl>]

Yatsuka Nakamura, Roman Matuszewski, and Adam Grabowski submitted an article entitled:
      "Subsequences of Standard Special Circular Sequences in $\cal E^2_\rm T$"
        (MML identifier: jordan4)

Yatsuka Nakamura and Piotr Rudnicki submitted an article entitled:
      "Euler circuits and paths"
        (MML identifier: graph_3)

Czeslaw Bylinski and Piotr Rudnicki submitted an article entitled:
      "Bounding boxes for compact sets in $\calE^2$"
        (MML identifier: pscomp_1)

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

 http://mizar.uw.bialystok.pl/JFM/Preprints.html

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

Library Committee of the Association of Mizar Users