[isabelle-dev] »real« considered harmful

Larry Paulson lp15 at cam.ac.uk
Wed Jun 24 16:29:12 CEST 2015

This may be the problem. I don’t remember exactly what I was trying to do, only that it was very difficult. Of course nobody uses show_types any more.

> On 24 Jun 2015, at 15:13, Dmitriy Traytel <traytel at in.tum.de> wrote:
> You can hover in the output panel, but you won't see types of constants there.

More information about the isabelle-dev mailing list