adapt to recent isabelle version b60d5d119489