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 http://isabelle.in.tum.de/website-Isabelle2016-1-RC1


	Makarius






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