Commit 2018-10-07 09:17 49fea313

feat(tactics/solve_by_elim): add or remove lemmas from the set to apply, with simp-like parsing (#382)

• feat(tactic/solve_by_elim): modify set of lemmas to apply using simp-like syntax
• update to syntax: use with attr to request all lemmas tagged with an attribute
• use non-interactive solve_by_elim in tfae
• fix parser