[mizar] New Mizar articles

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

Grzegorz Bancerek, Shin'nosuke Yamaguchi, and Yasunari Shidama
  submitted an article entitled:
      "Combining of Multi Cell Circuits"
        (MML identifier: CIRCCMB2)

Grzegorz Bancerek, Shin'nosuke Yamaguchi, and Katsumi Wasaki
  submitted an article entitled:
      "Full Adder Circuit. Part II"
        (MML identifier: FACIRC_2)

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