src/HOL/Tools/recdef_package.ML
changeset 26477 ecf06644f6cb
parent 26336 a0e2b706ce73
child 26478 9d1029ce0e13