src/HOL/Tools/primrec_package.ML
changeset 12791 ccc0f45ad2c4
parent 12474 0404454d97df
child 12876 a70df1e5bf10