From 599922047d89a89afe6fca798cb52d5f6adc7615 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 17 Jun 2017 16:20:14 -0400 Subject: Unfold Z.mul_split_at_bitwidth for reification Also reimplement it with a shift and a mask --- src/Util/ZUtil.v | 1 - 1 file changed, 1 deletion(-) (limited to 'src/Util/ZUtil.v') diff --git a/src/Util/ZUtil.v b/src/Util/ZUtil.v index fb7d0133a..01e125e00 100644 --- a/src/Util/ZUtil.v +++ b/src/Util/ZUtil.v @@ -26,7 +26,6 @@ Require Export Crypto.Util.ZUtil.Sgn. Require Export Crypto.Util.ZUtil.Tactics. Require Export Crypto.Util.ZUtil.Testbit. Require Export Crypto.Util.ZUtil.ZSimplify. -Require Export Crypto.Util.ZUtil.Z2Nat. Import Nat. Local Open Scope Z. -- cgit v1.2.3