doc-src/TutorialI/Inductive/Even.thy
changeset 10580 930ac2bfa637
parent 10341 6eb91805a012
child 10883 2b9f87bf9113