src/HOL/Tools/BNF/bnf_util.ML
changeset 82910 aa3b2d384736
parent 76743 d33fc5228aae
equal deleted inserted replaced
82909:e4fae2227594 82910:aa3b2d384736