Re: [isabelle] Isabelle2013-RC2 available for testing
On Wed, 06 Feb 2013 20:09:32 +0100, Makarius <makarius at sketis.net> 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
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and