New Mizar articles

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

Shunichi Kobayashi submitted an article entitled:
      "Propositional Calculus for Boolean Valued Functions, V"
        (MML identifier: BVFUNC_9)
 
Artur Kornilowicz submitted an article entitled:
      "Properties of Left-, and Right Components"
        (MML identifier: GOBRD14)
 
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