[mizar] New Mizar articles

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

Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama submitted
  articles entitled:
      "Subspaces and Cosets of Subspace of Real Unitary Space"
        (MML identifier: RUSUB_1)
      "Operations on Subspaces in Real Unitary Space"
        (MML identifier: RUSUB_2)
      "Linear Combinations in Real Unitary Space"
        (MML identifier: RUSUB_3)
      "Dimension of Real Unitary Space"
        (MML identifier: RUSUB_4)

Takashi Mitsuishi, Noboru Endou, and Keiji Ohkubo submitted
  an article entitled:
      "Trigonometric Functions on Complex Space"
        (MML identifier: SIN_COS3)

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