[mizar] New Mizar articles

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

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

Andrzej Trybulec submitted an article entitled:
      "More on External Approximation of a Continuum"
        (MML identifier: JORDAN1H)

Andrzej Trybulec submitted an article entitled:
      "More on the Finite Sequences on the Plane"
        (MML identifier: TOPREAL8)

Christoph Schwarzweller submitted an article entitled:
      "More About Polynomials: Monomials and Constant Polynomials"
        (MML identifier: POLYNOM7)

Hisayoshi Kunimune, Grzegorz Bancerek, and Yatsuka Nakamura submitted
  an article entitled:
      "On state machines of calculating type"
        (MML identifier: FSM_2)
 
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