Re: [isabelle] Isabelle2013-RC2 available for testing



On Wed, 6 Feb 2013, Yannick wrote:

Do you know if RC3 “print_rules” will always displays the rules without names?

I is still without names, the way it has been before.

It is not impossible to improve that eventually, but not trivial either. For Isabelle2013 some print commands were improved --- e.g. find_theorems and find_consts to markup their name references --- but not print_rules, print_simpset, print_claset.


	Makarius


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