src/Doc/Tutorial/Inductive/Mutual.thy
changeset 60299 5ae2a2e74c93
parent 58774 d6435f0bf966
child 67406 23307fd33906