In preparation for a proof of Jensen's covering lemma, we present parts of Jensen's fine structure theory of L. Knowledge of basic set theory is assumed (e.g., transitive collapse, Skolem functions, elementary embeddings).