[isabelle-dev] AFP: PAPP_Impossibility not terminating

Makarius makarius at sketis.net
Mon Apr 17 14:49:46 CEST 2023

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


More information about the isabelle-dev mailing list