recursive.thy
changeset 101 06db15939b7c
parent 35 839e37b75d9a