Re: [isabelle] find_consts does not find constants from BNF package



Hi Dmitriy,

On 24/09/15 15:25, Dmitriy Traytel wrote:
thanks for the report. (The BNF constants were concealed for almost two years now, without
anyone noticing!)
I rarely use find_consts in my research work, but for teaching it is a great way to explore what is already there in the library.

Thanks for changing it,
Andreas




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