Remove @-definitions.