>> 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.
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 isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
