src/HOL/Codatatype/BNF_Wrap.thy
changeset 49430 6df729c6a1a6
parent 49312 c874ff5658dc
child 49486 64cc57c0d0fe