New Mizar articles

[webmaster <web@mizar.uw.bialystok.pl>]

Adam Grabowski submitted an article entitled:
      "Lattice of Substitutions"
        (MML identifier: substlat)
Artur Kornilowicz submitted an article entitled:
      "Equations in Many Sorted Algebras"
        (MML identifier: equation)
Robert Nieszczerzewski submitted an article entitled:
      "Category of Functors between Alternative Categories"
        (MML identifier: functor2)
Miroslaw Wojciechowski submitted an article entitled:
      "Yoneda Embedoling"
        (MML identifier: yoneda_1)
Christoph Schwarzweller submitted an article entitled:
      "GCD Domains.
The Correctness of the Generic Algorithms of Brown and Henrici
Concerning Addition and Multiplication in Fraction Fields"
        (MML identifier: gcd_1)
Artur Kornilowicz submitted an article entitled:
      "Birkhoff Theorem for Many Sorted Algebras"
        (MML identifier: birkhoff)
Agnieszka Julia Marasik submitted an article entitled:
      "Algebraic Operation on Subsets of Many Sorted Sets"
        (MML identifier: closure3)
Yasunari Shidama and Artur Kornilowicz submitted an article entitled:
      "Convergence and the Limit of Complex Sequences. Serieses."
        (MML identifier: comseq_3)
JingChao Chen submitted an article entitled:
      "The Steinitz Theorem and the Dimension of a Real Linear Space"
        (MML identifier: rlvect_5)


to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.uw.bialystok.pl/JFM/Preprints.html
 
Library Comittee of the Association of Mizar Users