New Mizar articles

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

Yuguang Yang, Katsumi Wasaki, Yasushi Fuwa, and Yatsuka Nakamura submitted 
  an article entitled:
      "Correctness of a Cyclic Redundancy Check Code Generator"
        (MML identifier: GATE_4)

Andrzej Trybulec submitted an article entitled:
      "Defining by structural induction in the positive propositional
        language"
        (MML identifier: HILBERT2)
 
Czeslaw Bylinski submitted an article entitled:
      "Some Properties of Cells on Go Board"
        (MML identifier: GOBRD13)
 
Shunichi Kobayashi submitted an article entitled:
      "Propositional Calculus For Boolean Valued Functions, III"
        (MML identifier: BVFUNC_7)

Shunichi Kobayashi submitted an article entitled:
      "Propositional Calculus For Boolean Valued Functions, IV"
        (MML identifier: BVFUNC_8)

Akihiko Uchibori and Noboru Endou submitted an article entitled:
      "Basic Properties of Genetic Algorithm"
        (MML identifier: GENEALG1)

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