[isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory

Lars Hupel hupel at in.tum.de
Thu Feb 18 22:43:00 CET 2016


> yes, I also saw this on testboard and was confused.

I'm at a loss, too. Maybe Makarius can give some hints on what the cause
could possibly be. I could increase the heap space even more, but not
sure if that is a good idea.

Cheers
Lars



More information about the isabelle-dev mailing list