adapt to newest Isabelle version