doc-src/TutorialI/Recdef/examples.thy
changeset 10415 e6d7b77a0574
parent 10362 c6b197ccf1f1
child 10654 458068404143