doc-src/TutorialI/Sets/Recur.thy
changeset 39034 ebeb48fd653b
parent 36745 403585a89772
child 42637 381fdcab0f36