Does anyone know where I can find a proof for the Condensation Lemma for the L[U] hierarchy in Set Theory?

Thanks a lot.