Timer1 v Teensy3, Teensy3.1? AltSoftSerial?

[jassing]

Does the Timer1/Timer3 work with teensy 3.0, 3.1?

https://www.pjrc.com/teensy/td_libs_TimerOne.html

Similarly, AltSoftSerial...
https://www.pjrc.com/teensy/td_libs_AltSoftSerial.html