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. Larry
> On 24 Jun 2015, at 15:13, Dmitriy Traytel <tray...@in.tum.de> wrote: > > You can hover in the output panel, but you won't see types of constants there. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev