[mizar] New Mizar articles

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

Grzegorz Bancerek submitted an article entitled:
      "On Semilattice Structure of Mizar Types"
        (MML identifier: ABCMIZ_0)

Akihiro Kubo submitted an article entitled:
      "Lines in $n$-Dimensional Euclidean Spaces"
        (MML identifier: EUCLID_4)

Yasumasa Suzuki, Noboru Endou, and Yasunari Shidama submitted
  an article entitled:
      "Banach Space of Absolute Summable Real Sequences"
        (MML identifier: RSSPACE3)

Kanchun, Hiroshi Yamazaki, and Yatsuka Nakamura submitted
  an article entitled:
      "Cross Products and Tripple Vector Products in 3-dimensional
       Euclidian Space"
        (MML identifier: EUCLID_5)

Yatsuka Nakamura and Hiroshi Yamazaki submitted an article entitled:
      "Calculation of Matrices of Field Elements. Part I"
        (MML identifier: MATRIX_4)

Takashi Mitsuishi and Grzegorz Bancerek submitted an article entitled:
      "Lattice of Fuzzy Sets"
        (MML identifier: LFUZZY_0)

Adam Grabowski submitted an article entitled:
      "On the Kuratowski Limit Operators"
        (MML identifier: KURATO_2)

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

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

------
  For those of you interested in translation patterns and bibliography
file for the JFM, they may be obtained under
  ftp://mizar.uwb.edu.pl/pub/bnt/

  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users