doc-src/TutorialI/Recdef/Nested2.thy
changeset 10373 f9211fc8cd7d
parent 10212 33fe2d701ddd
child 10654 458068404143
equal deleted inserted replaced
10372:d1bacec57f5e 10373:f9211fc8cd7d