Re: Rules for usage of a colon before the label
Adam Naumowicz <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <Pine.GSO.4.61.1007211542110.11797@math> |
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: [email protected] Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/ =======================================================================