[mizar] New Mizar articles

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

Jaroslaw Kotowicz submitted an article entitled:
      "Hermitan Functionals. Canonical Construction
        of Scalar Product in Quotient Vector Space"
        (MML identifier: HERMITAN)

Krzysztof Retel submitted an article entitled:
      "The Class of Series --- Parallel Graphs"
        (MML identifier: NECKLACE)

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