Tony Thomas — British historian (1927-1997)