renamed inverse limit papers, changed header