New Mizar articles

[Library Committee <mml@mizar.uw.bialystok.pl>]

Yatsuka Nakamura submitted an article entitled:
      "On a Dividing Function of the Simple Closed Curve into Segments"
        (MML identifier: JORDAN7)

JingChao Chen and Yatsuka Nakamura submitted an article entitled:
      "Initialization Halting Concepts and Their Basic Properties
 of SCM+FSA"
        (MML identifier: SCM_HALT)

JingChao Chen and Yatsuka Nakamura submitted an article entitled:
      "Bubble Sort on SCM+FSA"
        (MML identifier: SCMBSORT)

Grzegorz Bancerek submitted an article entitled:
      "The Lawson Topology"
        (MML identifier: WAYBEL19)

Piotr Rudnicki submitted an article entitled:
      "Kernel Projections and Quotient Lattices"
        (MML identifier: WAYBEL20)

Grzegorz Bancerek submitted an article entitled:
      "Lawson Topology in Continuous Lattices"
        (MML identifier: WAYBEL21)
 
Piotr Rudnicki submitted an article entitled:
      "Representation theorem for free continuous lattices"
        (MML identifier: WAYBEL22)
 
Yatsuka Nakamura and Piotr Rudnicki submitted an article entitled:
      "Oriented Simple Chains Included in Oriented Chains"
        (MML identifier: GRAPH_4)
 
Yatsuka Nakamura submitted an article entitled:
      "Graph Theoretical Properties of Arcs in the Plane and Fashoda Meet Theorem"
        (MML identifier: JGRAPH_1)
 
to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.org/JFM/Preprints.html

Note that new fully HTMLized version of JFM articles sections has been
launched. However postscript versions of full articles are still
available. 

The PC Mizar system with the above articles included is available at
ftp://mizar.uw.bialystok.pl/pub/system/ver5.3.06/   

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

Library Committee of the Association of Mizar Users