src/HOL/Tools/recfun_codegen.ML
changeset 19599 a5c7eb37d14f
parent 19575 2d9940cd52d3
child 19600 2d969d9a233b