src/Doc/Tutorial/Inductive/Mutual.thy
changeset 62026 ea3b1b0413b4
parent 58774 d6435f0bf966
child 67406 23307fd33906