doc-src/TutorialI/Recdef/examples.thy
changeset 11214 3b3cc0cf533f
parent 11160 e0ab13bec5c8
child 11231 30d96882f915
equal deleted inserted replaced
11213:aeb5c72dd72a 11214:3b3cc0cf533f