> David has worked rather quickly and produced the following commit: > https://github.com/polyml/polyml/commit/86c52cbd8f6d > > I 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