Some recent improvements of Wigner's unitary-antiunitary theorem will be presented. A connection with Gleason's theorem will be explained.