abbrev_defs added