-
Michael Sammler authored
Refactor feed and add the feed generalize, efeed generalize, efeed inversion, and efeed destruct tactics
Michael Sammler authoredRefactor feed and add the feed generalize, efeed generalize, efeed inversion, and efeed destruct tactics
