New Mizar articles

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

Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama submitted an article 
  entitled:
      "Property of Complex Functions"
        (MML identifier: CFUNCT_1)
 
Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama submitted an article 
  entitled:
      "Property of Complex Sequence and Continuity of Complex Function"
        (MML identifier: CFCONT_1)
 
Noboru Endou, Katsumi Wasaki, and Yasunari Shidama submitted an article 
  entitled:
      "Scalar Multiple of Riemann Definite Integral"
        (MML identifier: INTEGRA2)
 
Noboru Endou, Katsumi Wasaki, and Yasunari Shidama submitted an article 
  entitled:
      "Darboux's Theorem"
        (MML identifier: INTEGRA3)
 
Shunichi Kobayashi submitted an article entitled:
      "Five Variable Predicate Calculus for Boolean Valued Functions, (1)"
        (MML identifier: BVFUNC22)
 
Shunichi Kobayashi submitted an article entitled:
      "Six Variable Predicate Calculus for Boolean Valued Functions, (1)"
        (MML identifier: BVFUNC23)
 
JingChao Chen and Piotr Rudnicki submitted an article entitled:
      "The Construction and Computation of For-loop
 Programs for SCMPDS"
        (MML identifier: SCMPDS_7)
 
Shunichi Kobayashi submitted an article entitled:
      "Seven Variable Predicate Calculus for Boolean Valued Functions, (1)"
        (MML identifier: BVFUNC24)
 
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