From 2b663b207ae295f9d2fe7c67b93e65c8a452050b Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 17 Jan 2017 18:29:44 -0500 Subject: More fine-grained util tactic files Also, add [split_and] --- src/Util/Tuple.v | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/Util/Tuple.v') diff --git a/src/Util/Tuple.v b/src/Util/Tuple.v index d1e0177f2..b8a5c2738 100644 --- a/src/Util/Tuple.v +++ b/src/Util/Tuple.v @@ -3,7 +3,9 @@ Require Import Coq.Relations.Relation_Definitions. Require Import Coq.Lists.List. Require Import Crypto.Util.Option. Require Import Crypto.Util.Prod. -Require Import Crypto.Util.Tactics. +Require Import Crypto.Util.Tactics.DestructHead. +Require Import Crypto.Util.Tactics.BreakMatch. +Require Import Crypto.Util.Tactics.SpecializeBy. Require Import Crypto.Util.Decidable. Require Import Crypto.Util.ListUtil. Require Export Crypto.Util.FixCoqMistakes. -- cgit v1.2.3