[mizar] New Mizar articles

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

Josef Urban submitted articles entitled:
      "Order Sorted Algebras"
        (MML identifier: OSALG_1)
      "Subalgebras of a Order Sorted Algebra. Lattice of Subalgebras"
        (MML identifier: OSALG_2)
      "Homomorphisms of Order Sorted Algebras"
        (MML identifier: OSALG_3)
      "Order Sorted Quotient Algebra"
        (MML identifier: OSALG_4)
      "Free Order Sorted Universal Algebra"
        (MML identifier: OSAFREE)

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