doc-src/TutorialI/Inductive/Even.thy
changeset 43661 39fdbd814c7f
parent 43564 9864182c6bad
child 48895 4cd4ef1ef4a4