New Mizar articles

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

Artur Kornilowicz and Robert Milewski submitted an article entitled:
      "Gauges and Cages. Part II"
        (MML identifier: JORDAN1D)

Christoph Schwarzweller submitted an article entitled:
      "The Binomial Theorem for Algebraic Structures"
        (MML identifier: BINOM)
 
Jonathan Backer, Piotr Rudnicki, and Christoph Schwarzweller submitted 
  an article entitled:
      "Ring Ideals"
        (MML identifier: IDEAL_1)
 
Jonathan Backer and Piotr Rudnicki submitted an article entitled:
      "Hilbert Basis Theorem"
        (MML identifier: HILBASIS)
 
Franz Merkl submitted an article entitled:
      "Dynkin's Lemma in Measure Theory"
        (MML identifier: DYNKIN)
 
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