• Robbert Krebbers's avatar
    Rename simplify_equality like tactics. · 65ab1289
    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.
    65ab1289
nmap.v 3.83 KB