David has worked rather quickly and produced the following commit: https://github.com/polyml/polyml/commit/86c52cbd8f6dI have updated the polyml component accordingly in Isabelle/1b8457cc4de8.So far it looks good, but we still need to test all of AFP.
I will do that today and report my findings. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
