Inductive.thy
changeset 251 f04b33ce250f
parent 177 768d3504d7cd