For additional details on how the IR Arduino library works, see Ken's blog here. Also, the code examples used in this tutorial are found in the examples directory ...
learn.sparkfun.com