Source code?

I wonder how/if can I browse the source code of the libraries. Where can I find it? For instance, I would like to know how millis() is implemented. Thanks

everything is in ARDUINO/lib/targets