[mizar] New Mizar articles

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

Andrzej Trybulec submitted an article entitled:
      "Preparing the Internal Approximations of Simple Closed Curves"
        (MML identifier: JORDAN11)

Mariusz Giero submitted an article entitled:
      "On the General Position of Special Polygons"
        (MML identifier: JORDAN12)

Andrzej Trybulec submitted an article entitled:
      "Introducing Spans"
        (MML identifier: JORDAN13)

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