Stepper.h library on Arduino

libraries/Stepper/Stepper.cpp
libraries/Stepper/Stepper.h

inside the distribution (depends on OS, and where you choose to install it...)

This is where the presupplied libraries live (as opposed to ones you install
yourself under sketchbook/libraries/)

The core runtime stuff is in
hardware/arduino/core/arduino/