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