This seemed to work for me:
- Download the arduino-tiny-0100-0012.zip file from the page I pointed to.
- Shut down the Arduino 1.0 IDE
- Un-zip the .zip file.
- Copy the "tiny" folder from the expanded zip file to Documents:Arduino:hardware
- Re-start the Arduino 1.0 IDE
Under Tools->Board I now have a whole pile of ATtiny choices including 8 MHz and 1 MHz ATtiny25.