My parents technically don't have a four digit local number any more, but it's the same† national number as it was back then. BT moved two digits from the exchange code to the local part when they digitised the exchange.

†: All UK national numbers gained an extra '1' after the leading '0'; I'm asserting that change doesn't count.