New Mizar articles

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

Yasushi Fuwa and Yoshinori Fujisawa submitted an article entitled:
      "IDEA Cryptograms"
        (MML identifier: IDEA_1)

Artur Kornilowicz submitted an article entitled:
      "The Definition and Basic Properties of Topological Groups"
        (MML identifier: TOPGRP_1)

Adam Naumowicz and Agnieszka Julia Marasik submitted an article entitled:
      "The Correspondence Between Lattices of Subalgebras of
Universal Algebras and Many Sorted Algebras"
        (MML identifier: MSSUBLAT)

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