[mizar] New Mizar articles

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

Wioletta Truszkowska and Adam Grabowski submitted an article entitled:
      "On the Two Short Axiomatizations of Ortholattices"
        (MML identifier: ROBBINS2)

Grigory E. Ivanov submitted an article entitled:
      "Definition of Convex Function and Jensen's Inequality"
        (MML identifier: CONVFUN1)

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