src/Doc/Tutorial/Inductive/Even.thy
changeset 66787 64b47495676d
parent 56059 2390391584c2
child 67406 23307fd33906