doc-src/TutorialI/Sets/Recur.thy
changeset 12119 fab22bdb1496
parent 10341 6eb91805a012
child 16417 9bc16273c2d4