Attic/recursive.thy
changeset 203 514809bb7ce4
parent 127 469c26d19f8e