spechub/Hets — pull request #1329 by cmaeder (2014-08-14 12:10:31+00:00)
Title: also rename components for Isabelle

fixes #1323