src/Doc/Tutorial/Inductive/Even.thy
changeset 83028 f53031c95f51
parent 72991 d0a0b74f0ad7