doc-src/TutorialI/Sets/Recur.thy
changeset 29405 98ab21b14f09
parent 16417 9bc16273c2d4
child 36745 403585a89772
equal deleted inserted replaced
29404:ee15ccdeaa72 29405:98ab21b14f09