src/Doc/Tutorial/Inductive/Even.thy
changeset 83035 d25f2989ef8b
parent 72991 d0a0b74f0ad7