Re: [mizar] @; and @by

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Hi,

• Pragmas are useful indeed.  Are they documented anywhere else?
• I like Freek's suggestion.  Thanks.
• The convenience of @; and @by is hard to beat though.

Cheers, PR

On Mon, Feb 7, 2011 at 6:39 AM, Freek Wiedijk <freek@cs.ru.nl> wrote:

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

-- 
Piotr Rudnicki                                 http://www.cs.ualberta.ca/~piotr