>>>> 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?
The conservative answer is: since it has been the same thing already in
the last release, there is no urgent pressure to do someting about it now.
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
