Re: [isabelle] Isabelle2013-RC2 available for testing

On Wed, 06 Feb 2013 20:09:32 +0100, Makarius <makarius at> wrote:

On Wed, 6 Feb 2013, Yannick wrote:

I've checked again, that's really “print_rules”. It's suggested by the
completion box which appears when you type “print_” in jEdit and an Isabelle
file is opened. This “print_rules” is one of the most useful to me

How do you use it?

I use it to know what's the available rules for the “rule” proof method. This help to to guess what “rule” alone used as much as to give “rule” an explicit argument.

Yannick Duchêne

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.