doc-src/TutorialI/Advanced/WFrec.thy
changeset 10309 a7f961fb62c6
parent 10241 e0428c2778f1
child 10396 5ab08609e6c8