src/HOL/Tools/Datatype/datatype_data.ML
changeset 33964 26acbc11e8be
parent 33963 977b94b64905