src/Doc/Tutorial/Datatype/unfoldnested.thy
changeset 74985 ac3901e4e0a9
parent 58860 fee7cfa69c50
equal deleted inserted replaced
74984:192876ea202d 74985:ac3901e4e0a9