More hammer fun

Changes

1 changed files (+7/-0)

• hammer.v (new)
  • @@ -0,0 +1,7 @@
    + From Stdlib Require Import List. + From Hammer Require Import Hammer. + Import ListNotations. + + Goal (forall A (l : list A), rev (rev l) = l). + hammer. + Qed.