Isabelle-internal