doc-src/TutorialI/Advanced/WFrec.thy
changeset 35092 cfe605c54e50
parent 20217 25b068a99d2b
equal deleted inserted replaced
35091:59b41ba431b5 35092:cfe605c54e50