doc-src/TutorialI/Recdef/Nested2.thy
changeset 10309 a7f961fb62c6
parent 10212 33fe2d701ddd
child 10654 458068404143