Initial material on derived completion over rings

Todo: How does this compare with the "obvious" definition
that the map

M ---> \lim (M \otimes_A^L A/I^n)

be an isomorphism.