New Mizar articles

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

Katsumi Wasaki and Noboru Endou submitted an article entitled:
      "Full Subtracter Circuit. Part I"
        (MML identifier: FSCIRC_1)
 
Yuguang Yang, Wasaki Katsumi, Yasushi Fuwa, and Yatsuka Nakamura submitted 
  an article entitled:
      "Correctness of Binary Counter Circuits"
        (MML identifier: GATE_2)
 
Yuguang Yang, Wasaki Katsumi, Yasushi Fuwa, and Yatsuka Nakamura submitted 
  an article entitled:
      "Correctness of Johnson Counter Circuits"
        (MML identifier: GATE_3)
 
Noboru Endou and Artur Kornilowicz submitted an article entitled:
      "The Definition of Riemann Definite Integral and some Related Lemmas"
        (MML identifier: INTEGRA1)
 
Takashi Mitsuishi and Yuguang Yang submitted an article entitled:
      "Properties of Trigonometric Function"
        (MML identifier: SIN_COS2)
 
Shunichi Kobayashi and Yatsuka Nakamura submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, II"
        (MML identifier: BVFUNC_4)
 
Shunichi Kobayashi and Yatsuka Nakamura submitted an article entitled:
      "Propositional Calculus for Boolean Valued Functions, I"
        (MML identifier: BVFUNC_5)
 
Shunichi Kobayashi and Yatsuka Nakamura submitted an article entitled:
      "Propositional Calculus for Boolean Valued Functions, II"
        (MML identifier: BVFUNC_6)
 
JingChao Chen submitted an article entitled:
      "Insert Sort on \SCMFSA"
        (MML identifier: SCMISORT)
 
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