New mizar articles

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

Artur Kornilowicz, Robert Milewski, Adam Naumowicz, and Andrzej Trybulec 
  submitted an article entitled:
      "Gauges and Cages"
        (MML identifier: JORDAN1A)
 
Noboru Endou, Katsumi Wasaki, and Yasunari Shidama submitted an article 
  entitled:
      "Some Properties of Extended Real Numbers Operations: absolute value,
min and max"
        (MML identifier: EXTREAL2)
 
Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama submitted an article 
  entitled:
      "Concept of Fuzzy Relation and Basic Properties of Its Operation"
        (MML identifier: FUZZY_3)
 
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