New Mizar articles

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

Shunichi Kobayashi submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, VIII"
        (MML identifier: BVFUNC16)

Shunichi Kobayashi submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, IX"
        (MML identifier: BVFUNC17)

Richard Krueger, Piotr Rudnicki, and Paul Shelley submitted an article entitled:
      "Asymptotic notation, Part I"
        (MML identifier: ASYMPT_0)

Richard Krueger, Piotr Rudnicki, and Paul Shelley submitted an article entitled:
      "Asymptotic notation, Part II"
        (MML identifier: ASYMPT_1)

Shunichi Kobayashi submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, X"
        (MML identifier: BVFUNC18)

Shunichi Kobayashi submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, XI"
        (MML identifier: BVFUNC19)

Shunichi Kobayashi submitted an article entitled:
      "Four Variable Predicate Calculus for Boolean Valued Functions, (1)"
        (MML identifier: BVFUNC20)

Shunichi Kobayashi submitted an article entitled:
      "Four Variable Predicate Calculus for Boolean Valued Functions, (2)"
        (MML identifier: BVFUNC21)

Grzegorz Bancerek and Adam Naumowicz submitted an article entitled:
      "Function Spaces in the Category of Directed Suprema Preserving Maps"
        (MML identifier: WAYBEL27)

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