src/Doc/Tutorial/Inductive/Advanced.thy
changeset 66738 793e7a9c30c5
parent 56059 2390391584c2
child 67406 23307fd33906