HomeIsabelle/Phabricator

Removed autogeneration of labels for theories as it is not used and clashes…