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.