New Mizar articles

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

Christoph Schwarzweller submitted an article entitled:
      "Introduction to Concept Lattices"
        (MML identifier: CONLAT_1)

Shunichi Kobayashi and Kui Jia submitted an article entitled:
      "A theory of partitions, I"
        (MML identifier: PARTIT1)

Shunichi Kobayashi and Kui Jia submitted an article entitled:
      "A Theory of Boolean Valued Functions and Partitions"
        (MML identifier: BVFUNC_1)
 
Yuguang Yang and Yasunari Shidama submitted an article entitled:
      "Trigonometric Functions and Existence of Circle Ratio"
        (MML identifier: SIN_COS)
 
Andrzej Trybulec and Yatsuka Nakamura submitted an article entitled:
      "Some properties of special polygonal curves"
        (MML identifier: SPRECT_3)
 
Robert Milewski submitted an article entitled:
      "Real Linear-Metric Space and Isometric Functions"
        (MML identifier: VECTMETR)
 
Artur Kornilowicz submitted an article entitled:
      "Introduction to Meet-Continuous Topological Lattices"
        (MML identifier: YELLOW13)
 
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