forked from leanprover-community/iris-lean
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathTactics.lean
More file actions
18 lines (18 loc) · 693 Bytes
/
Copy pathTactics.lean
File metadata and controls
18 lines (18 loc) · 693 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
/- A description of the tactics can be found in `tactics.md`. -/
import Iris.ProofMode.Tactics.Apply
import Iris.ProofMode.Tactics.Assumption
import Iris.ProofMode.Tactics.Basic
import Iris.ProofMode.Tactics.Cases
import Iris.ProofMode.Tactics.Clear
import Iris.ProofMode.Tactics.Exact
import Iris.ProofMode.Tactics.ExFalso
import Iris.ProofMode.Tactics.Exists
import Iris.ProofMode.Tactics.Intro
import Iris.ProofMode.Tactics.LeftRight
import Iris.ProofMode.Tactics.Move
import Iris.ProofMode.Tactics.Pose
import Iris.ProofMode.Tactics.Pure
import Iris.ProofMode.Tactics.Remove
import Iris.ProofMode.Tactics.Rename
import Iris.ProofMode.Tactics.Specialize
import Iris.ProofMode.Tactics.Split