more labels

[ynakamur <ynakamur@edserve.cs.shinshu-u.ac.jp>]

I wrote a long proof(JORDAN7) and encountered "too many parameter error",
which means labels are too many in the proof.    It could not be avoided
even if I used "verifier" instead of "mizar".   In the next version, I ask
that "verifier" can treate more labels(e.g. about 3 times).
                                         Yatsuka Nakamura
                                       (Shinshu University, Nagano,Japan)