Re: @; and @by

Piotr Rudnicki <[email protected]> Mon, 7 Feb 2011 22:53:12 -0700

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

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 <[email protected]> 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