[mizar] New Mizar articles

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

Grzegorz Bancerek and Adam Naumowicz submitted an article entitled:
      "Preliminaries to Automatic Generation of Mizar Documentation
       for Circuits"
        (MML identifier: CIRCCMB3)

Robert Milewski submitted an article entitled:
      "Properties of the Upper and Lower Sequence on the Cage"
        (MML identifier: JORDAN15)

Adam Grabowski submitted an article entitled:
      "On the Decompositions of Intervals and Simple Closed Curves"
        (MML identifier: BORSUK_4)

Andrzej Trybulec submitted an article entitled:
      "On the Minimal Distance Between Set in Euclidean Space"
        (MML identifier: JORDAN1K)

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