update Train.thy