New Mizar articles

[Library Committee <mml@mizar.uw.bialystok.pl>]

Robert Milewski submitted an article entitled:
      "Bases of Continuous Lattices"
        (MML identifier: WAYBEL23)
 
Artur Kornilowicz submitted an article entitled:
      "The Construction of \bf SCM over Ring"
        (MML identifier: SCMRING1)
 
Artur Kornilowicz submitted an article entitled:
      "The Basic Properties of \bf SCM over Ring"
        (MML identifier: SCMRING2)
 
Shunichi Kobayashi and Yatsuka Nakamura submitted an article entitled:
      "A Theory of Boolean Valued Functions and Quantifiers
       with Respect to Partitions"
        (MML identifier: BVFUNC_2)

Shunichi Kobayashi and Yatsuka Nakamura submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, I"
        (MML identifier: BVFUNC_3)

Yoshinori Fujisawa, Yasushi Fuwa, and Hidetaka Shimizu submitted
 an article entitled:
      "Public-Key Cryptography and Pepin's Test for the Primality
       of Fermat Numbers"
        (MML identifier: PEPIN)

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