Yes, last year at my university we used Baby Rudin for the undergraduate real analysis sequence, and Tao's books for the graduate level sequence.