src/Doc/Tutorial/Datatype/unfoldnested.thy
changeset 74986 fc664e4fbf6d
parent 58860 fee7cfa69c50