Looking for Timer1.h

I would like to build the RFID reader ion the playground. I see Timer1 lib documented in the playground but the code is not in my libs folder. Where can I download that as well as Wire.h?

http://playground.arduino.cc/Code/Timer1

http://playground.arduino.cc/Main/DIYRFIDReader

Found them in Sketch | Manage Libraries