Re: [isabelle] yet another simplifier question

On 06/11/16 18:16, noam neer wrote:
> I'm using the default installation of Isabelle 2015 on win7.

That is already quite old: the current release is Isabelle2016 (February
2016), and we are presently moving towards Isabelle2016-1 (December
2016) -- see also


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