Ewa Gradzka submitted an article entitled:
"The Algebra of Polynomials"
(MML identifier: POLYALG1)
Grzegorz Bancerek submitted an article entitled:
"Circuit Generated by Terms and Circuit Calculating Terms"
(MML identifier: CIRCTRM1)
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