src/Doc/Tutorial/Inductive/Mutual.thy
changeset 56916 b00a861d8f16
parent 53015 a1119cf551e8
child 58774 d6435f0bf966