[isabelle-dev] AFP: PAPP_Impossibility not terminating
huch at in.tum.de
Mon Apr 17 15:40:02 CEST 2023
From Jenkins, the tighter interval is Isabelle/3fb2c47a7605 ..
On 4/17/23 14:49, Makarius wrote:
> We have a problem with PAPP_Impossibility for quite some time.
> I am presently running a bisection to see better where it actually
> happens: presently the interval is Isabelle/f5aca3ed1adb ..
> 69ee23f83884 based on
> Stay tuned ...
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev