Not at the local cinemas I frequented. Dolby Digital might have been used (immediately before the BBFC certificate) in larger theatres, e.g. in London. THX is very uncommon in the UK, due to the lack of certified screens - can’t think of a single time I’ve seen that in the cinema, in fact (and I’ve been to most of the larger London cinemas).
On my DTS LaserDisc to Blu-ray copy of this film (which your restoration will be the main source), I am going to use a 35mm scan of the Tex Robot trailer (just to pay homage to the deluxe CAV LaserDisc boxset) as the disc’s THX trailer. What do you think?