src/HOL/Tools/datatype_codegen.ML
changeset 20328 5b240a4216b0
parent 20192 956cd30ef3be
child 20382 39964c8dcd54