doc-src/TutorialI/Recdef/Nested2.thy
changeset 25056 743f3603ba8b
parent 16417 9bc16273c2d4
child 40878 7695e4de4d86
equal deleted inserted replaced
25055:3bb2ad8b1b37 25056:743f3603ba8b