A bit more on simple Isabelle version