[mizar] New Mizar articles

[Adam Grabowski <adam@math.uwb.edu.pl>]

Artur Kornilowicz submitted an article entitled:
      "A Tree of Execution of a Macroinstruction"
        (MML identifier: AMISTD_3)

Yasunari Shidama submitted an article entitled:
      "Banach Space of Bounded Linear Operators"
        (MML identifier: LOPBAN_1)

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

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

-----
  Adam Grabowski
  Library Committee of the Association of Mizar Users