doc-src/TutorialI/Sets/Recur.thy
changeset 44953 cdfe42f1267c
parent 42637 381fdcab0f36
child 48611 b34ff75c23a7