Lost looking for PWM library

Go to the Arduino application. Alt click and choose "Show Contents" from the drop down menu.
Then in the window type in PWM in the search box at the top of the window. You will then see them all.