[mizar] New Mizar articles

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

Markus Moschner submitted an article entitled:
      "Basic Notions and Properties of Orthoposets"
        (MML identifier: OPOSET_1)

Yatsuka Nakamura submitted an article entitled:
      "General Fashoda Meet Theorem for Unit Circle and Square"
        (MML identifier: JGRAPH_6)

Hiroshi Yamazaki, Yasumasa Suzuki, Takao Inoue, and Yasunari Shidama
  submitted articles entitled:
      "On Some Properties of Real Hilbert Space, I"
        (MML identifier: BHSP_6)
      "On Some Properties of Real Hilbert Space, II"
        (MML identifier: BHSP_7)

Shin'nosuke Yamaguchi, Grzegorz Bancerek, and Katsumi Wasaki
  submitted an article entitled:
      "Full Subtracter Circuit. Part II"
        (MML identifier: FSCIRC_2)

Jing-Chao Chen submitted an article entitled:
      "Dijkstra's Shortest Path Algorithm"
        (MML identifier: GRAPHSP)

Noboru Endou, Yasumasa Suzuki, and Yasunari Shidama submitted
  articles entitled:
      "Real Linear Space of Real Sequences"
        (MML identifier: RSSPACE)
      "Hilbert Space of Real Sequences"
        (MML identifier: RSSPACE2)
      "Some Properties for Convex Combinations"
        (MML identifier: CONVEX2)

Takao Inoue submitted an article entitled:
      "Intuitionistic Propositional Calculus in the Extended Framework
 with Modal Operator, Part I"
        (MML identifier: INTPRO_1)

Wenpai Chang and Yatsuka Nakamura submitted an article entitled:
      "Inner Products and Angles of Complex Numbers"
        (MML identifier: COMPLEX2)

Akihiro Kubo and Yatsuka Nakamura submitted an article entitled:
      "Angle and Triangle in Euclidian Topological Space"
        (MML identifier: EUCLID_3)

Krzysztof Retel submitted an article entitled:
      "The Class of Series-Parallel Graphs, II"
        (MML identifier: NECKLA_2)

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