Istant up-to-date

I can almost (im not part of Apple so I can't say for certain) assure you they will be. The WWDC Dev tools were posted about a week after WWDC on ADC, so all you had to do was sign up for the free online ADC account and download them. I assume the same will happen with the 10.1 Dev tools, and as such we should see them very soon on ADC.