Bring back the isabelle renamings