Tactics.lean

/-
Copyright (c) 2023 Amazon.com, Inc. or its affiliates. All Rights Reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Author(s): Shilpi Goel
-/
-- This module serves as the root of the `Tactics` library.
-- Import modules here that should be built as part of the library.
import «Tactics».Sym
import «Tactics».StepThms
import «Tactics».Rename
import «Tactics».Name
import «Tactics».ClearNamed
import «Tactics».ArmConstr