Re: [mizar] Rules for usage of a colon before the label

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Hi Boris,

On Wed, 21 Jul 2010, Boris Schminke wrote:

> It seems to me that it is a strict rule only for labels just before
> the definiens, isn't it?

Yes, that's the only context where you need the colon before a label.

Best,

Adam Naumowicz

=======================================================================
Dept. of Programming and Formal Methods  Fax: +48(85)7457662
Institute of Informatics                 Tel: +48(85)7457559 (office)
University of Bialystok                  E-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/
=======================================================================