doc-src/TutorialI/Sets/Recur.thy
changeset 40710 499aa989fbad
parent 36745 403585a89772
child 42637 381fdcab0f36