src/HOL/BNF/Tools/ctr_sugar_tactics.ML
changeset 56012 cfb21e03fe2a
parent 55145 b15cfc2864de