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

Re: [mizar] @; and @by

Hi Piotr,

Maybe you also could do something like having

    FAKE: contradiction;
                       *1

near the start of your file, and then put

    by FAKE;

in opportune places?

Freek