[isabelle-dev] The coming release of Isabelle2017

Lawrence Paulson lp15 at cam.ac.uk
Wed Jul 5 22:45:56 CEST 2017

What’s the idea here?

> On 5 Jul 2017, at 21:09, Manuel Eberl <eberlm at in.tum.de> wrote:
> the proper printing of "nat" values as numerals instead of successor notation.

More information about the isabelle-dev mailing list