recursive.thy
changeset 43 a8785fa80278
parent 35 839e37b75d9a