To me, AVR-GCC is the horse Arduino rides in and very much part of the whole I write examples for.
I don't know where AVR-duino would be without AVR-LibC.