Function simp_only 

pub fn simp_only(names: Vec<String>) -> Tactic

simp only [a, b] as a tactic value — the rule set is exactly the named hypotheses.