[isabelle-dev] Nontermination in HOL-Corec_Examples on Epyc

Lars Hupel hupel at in.tum.de
Thu Jun 21 08:11:29 CEST 2018

> 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.


More information about the isabelle-dev mailing list