In the copy of Libraries.html included with Arduino 0022 the Tone library references this page:
http://code.google.com/p/arduino-tone/
That page says:
"The Arduino Tone Library is no longer maintained here.
Please go here: Arduino Tone Library (Google Code Archive - Long-term storage for Google Code Project Hosting.)