[mizar] New Mizar articles

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

Christoph Schwarzweller submitted articles entitled:
      "Term Orders"
        (MML identifier: TERMORD)
      "Polynomial Reduction"
        (MML identifier: POLYRED)

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