also rename components for Isabelle

fixes #1323