doc-src/TutorialI/Sets/Recur.thy
changeset 37450 45073611170a
parent 36745 403585a89772
child 42637 381fdcab0f36