src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML
changeset 55756 9d3c7a04a65e
parent 55181 93ab44e992ae
child 55517 e30e63d05e58