New Mizar articles

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

Marta Pruszynska and Marek Dudzicz submitted an article entitled:
      "On the Isomorphism Between Finite Chains"
        (MML identifier: ORDERS_4)
 
Mariusz Lapinski submitted an article entitled:
      "Jonsson Theorem about Representation of Modular Lattices"
        (MML identifier: LATTICE8)
 
Andrzej Trybulec submitted an article entitled:
      "The canonical formulae"
        (MML identifier: HILBERT3)
 
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