doc-src/TutorialI/Inductive/Even.thy
changeset 13025 433c57d09d53
parent 12328 7c4ec77a8715
child 16417 9bc16273c2d4