src/HOL/BNF/Tools/bnf_def_tactics.ML
changeset 51884 2928fda12661
parent 51798 ad3a241def73
child 51893 596baae88a88