Thymectomy: its role in the management of myasthenia gravis