New Mizar articles

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

Shunichi Kobayashi submitted an article entitled:
      "Eight Variable Predicate Calculus for Boolean Valued Functions, (1)"
        (MML identifier: BVFUNC25)
 
Shunichi Kobayashi submitted an article entitled:
      "Nine Variable Predicate Calculus for Boolean Valued Functions, (1)"
        (MML identifier: BVFUNC26)
 
Bartlomiej Skorulski submitted an article entitled:
      "Lim-inf Convergence"
        (MML identifier: WAYBEL28)
 
Grzegorz Bancerek and Adam Naumowicz submitted an article entitled:
      "The Characterization of Continuity of Topologies"
        (MML identifier: WAYBEL29)
 
Artur Kornilowicz submitted an article entitled:
      "Meet Continuous Lattices Revisited"
        (MML identifier: WAYBEL30)
 
Robert Milewski submitted an article entitled:
      "Weights of Continuous Lattices"
        (MML identifier: WAYBEL31)
 
Marek Dudzicz submitted an article entitled:
      "Representation Theorem For Finite Distributive Lattices"
        (MML identifier: LATTICE7)
 
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