Wait a sec.. Is this why I couldn't find it in.. "Show Package Contents". Contents/Java/libraries/ ? Where I found the other stuff? Because this is the Teensy version of the Arduino IDE?
No, I take it back. There's an Arduino flavor set in there as well. It looks like the teensy stuff is just another core.
-jim