Robert Milewski submitted an article entitled:
"Upper and Lower Sequence on the Cage, Upper and Lower Arcs"
(MML identifier: JORDAN1J)
Robert M. Solovay submitted an article entitled:
"Fibonacci numbers"
(MML identifier: FIB_NUM)
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