New Mizar articles

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

Artur Kornilowicz submitted articles entitled:
      "On the Instructions of \bf SCM"
        (MML identifier: AMI_6)
      "Input and Output of Instructions"
        (MML identifier: AMI_7)
      "On the Instructions of \bf SCM+FSA"
        (MML identifier: SCMFSA10)

Adam Grabowski submitted an article entitled:
      "Robbins Algebras vs. Boolean Algebras"
        (MML identifier: ROBBINS1)

Noboru Endou, Takashi Mitsuishi, and Keiji Ohkubo submitted an article entitled:
      "Properties of Fuzzy Relation"
        (MML identifier: FUZZY_4)
 
Yatsuka Nakamura submitted an article entitled:
      "On Outside Fashoda Meet Theorem"
        (MML identifier: JGRAPH_2)
 
Grzegorz Bancerek and Piotr Rudnicki submitted an article entitled:
      "The set of primitive recursive functions"
        (MML identifier: COMPUT_1)
 
Jingchao Chen and Yatsuka Nakamura submitted an article entitled:
      "Introduction to Turing Machines"
        (MML identifier: TURING_1)
 
Grzegorz Bancerek, Noboru Endou, and Yuji Saki submitted an article entitled:
      "On the characterizations of compactness"
        (MML identifier: YELLOW19)
 
Grzegorz Bancerek and Noboru Endou submitted an article entitled:
      "Compactness of Lim-inf Topology"
        (MML identifier: WAYBEL33)
 
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