also rename components for Isabelle
Merge pull request #1329 from spechub/1323-HasCASL2Isabelle

also rename components for Isabelle