src/Doc/Tutorial/Inductive/Mutual.thy
changeset 56059 2390391584c2
parent 53015 a1119cf551e8
child 58774 d6435f0bf966