New Mizar articles

[Library Committee <mml@mizar.uwb.edu.pl>]

Noboru Endou, Katsumi Wasaki, and Yasunari Shidama submitted an article entitled:
      "Definition of Integrability for Partial Functions from REAL to REAL
and Integrability for Continuous Functions"
        (MML identifier: INTEGRA5)

Noboru Endou, Katsumi Wasaki, and Yasunari Shidama submitted an article entitled:
      "Introduction to Several Concepts of Convexity and Semicontinuity
for Function from REAL to REAL"
        (MML identifier: RFUNCT_4)

Andrzej Trybulec, Piotr Rudnicki, and Artur Kornilowicz submitted an article entitled:
      "Standard Ordering of Instruction Locations"
        (MML identifier: AMISTD_1)
 
Artur Kornilowicz submitted an article entitled:
      "On the Composition of Macro Instructions of Standard Computers"
        (MML identifier: AMISTD_2)
 
Artur Kornilowicz submitted an article entitled:
      "The Properties of Instructions of \bf SCM over Ring"
        (MML identifier: SCMRING3)
 
Josef Urban submitted an article entitled:
      "Basic facts about inaccessible and measurable cardinals"
        (MML identifier: CARD_FIL)
 
Christoph Schwarzweller and Andrzej Trybulec submitted an article entitled:
      "Evaluation of Multivariate Polynomials"
        (MML identifier: POLYNOM2)
 
Robert Milewski submitted an article entitled:
      "The Ring of Polynomials"
        (MML identifier: POLYNOM3)
 
to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.org/JFM/Preprints.html

------------

Library Committee of the Association of Mizar Users