[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Strong Mizar wish: linking to consider



Andrzej:

>I must ask somebody to do statistics: how often in MML
>occurs situation when we spare something (a label, a
>reference) if linking after the Choice Statement is
>allowed.

If you know these statistics: can you please also post them
to this mailing list (as percentages of the total number of
choice statements)?  I'm rather curious what they'll be.

Freek