doc-src/TutorialI/Inductive/Advanced.thy
changeset 11184 10a307328d2c
parent 11173 094b76968484
child 11711 ecdfd237ffee