[mizar] New Mizar articles

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

Adam Naumowicz and Robert Milewski submitted an article entitled:
      "Some Remarks on Clockwise Oriented Sequences on Go-boards"
        (MML identifier: JORDAN1I)

Gilbert Lee and Piotr Rudnicki submitted an article entitled:
      "Dickson's lemma"
        (MML identifier: DICKSON)
 
Gilbert Lee and Piotr Rudnicki submitted an article entitled:
      "On Ordering of Bags"
        (MML identifier: BAGORDER)
 
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