New Mizar articles

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

Yatsuka Nakamura submitted an article entitled:
      "On the Simple Closed Curve Property of the Circle
 and the Fashoda Meet Theorem for It"
        (MML identifier: JGRAPH_3)

Freek Wiedijk submitted an article entitled:
      "Pythogarean triples"
        (MML identifier: PYTHTRIP)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:

 http://mizar.uwb.edu.pl/JFM/Preprints.html

------------

Library Committee of the Association of Mizar Users