Isabelle-internal
