Attribute grouping the field_simp simprocs #
Initialize the attribute field grouping the simprocs associated to the field_simp tactic.
field_simp simprocs #Initialize the attribute field grouping the simprocs associated to the field_simp tactic.