• Robbert Krebbers's avatar
    Rename simplify_equality like tactics. · 20690605
    Robbert Krebbers authored
    simplify_equality        => simplify_eq
    simplify_equality'       => simplify_eq/=
    simplify_map_equality    => simplify_map_eq
    simplify_map_equality'   => simplify_map_eq/=
    simplify_option_equality => simplify_option_eq
    simplify_list_equality   => simplify_list_eq
    f_equal'                 => f_equal/=
    
    The /= suffixes (meaning: do simpl) are inspired by ssreflect.
    20690605
zmap.v 4.07 KB