recursive.thy
changeset 80 eb589fa73fc1
parent 35 839e37b75d9a