New Mizar articles

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

Hiroshi Yamazaki, Yoshinori Fujisawa, and Yatsuka Nakamura submitted an article 
  entitled:
      "On Replace Function and Swap Function for Finite Sequences"
        (MML identifier: FINSEQ_7)
 
Hiroshi Yamazaki and Katsumi Wasaki submitted an article entitled:
      "Correctness of the High Speed Array Multiplier Circuits"
        (MML identifier: GATE_5)
 
Andrzej Trybulec submitted an article entitled:
      "Miscellaneous I"
        (MML identifier: JCT_MISC)
 
Josef Urban submitted an article entitled:
      "Mahlo and inaccessible cardinals"
        (MML identifier: CARD_LAR)

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