[3 theatre programmes for the Theatre Royal, Edinburgh]