src/HOL/BNF/Tools/bnf_fp_def_sugar_tactics.ML
changeset 52334 705bc4f5fc70
parent 52324 095c88b93e8d
child 52347 ead18e3b2c1b