src/Doc/Tutorial/Recdef/Nested2.thy
changeset 57593 2f7d91242b99
parent 56846 9df717fef2bb
child 67406 23307fd33906