On Sun, 13 Oct 2013, Florian Haftmann wrote:
Here a bisect would be helpful when this came to happen
actually (or is it already present in Isabelle2013).
This one already goes wrong in Isabelle2013.
OK. I guess it is some variant of the ever recurring problem of »hidden
polymorphism«. Will take some time to figure out actually.
I've lost track of this thread.
For me the question right now: Is there anything left to do for
Isabelle2013-1?
Makarius_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
