path: root/src/Util/Tactics/ClearbodyAll.v

Ltac clearbody_all :=
  repeat match goal with
         | [ H := _ |- _ ] => clearbody H
         end.