Title: Unfolding of Systems of Inductive Definitions