recursive.thy
changeset 44 2f765afc1f7e
parent 35 839e37b75d9a