3f548edcd7
When updating Std, be careful that not every lemma has been upstreamed, so we need to be careful to only delete things that have already been declared.
18 lines
495 B
Text
18 lines
495 B
Text
/-
|
|
Copyright (c) 2016 Microsoft Corporation. All rights reserved.
|
|
Released under Apache 2.0 license as described in the file LICENSE.
|
|
Authors: Leonardo de Moura
|
|
-/
|
|
prelude
|
|
import Init.Data.Nat.Basic
|
|
import Init.Data.Nat.Div
|
|
import Init.Data.Nat.Dvd
|
|
import Init.Data.Nat.Gcd
|
|
import Init.Data.Nat.MinMax
|
|
import Init.Data.Nat.Bitwise
|
|
import Init.Data.Nat.Control
|
|
import Init.Data.Nat.Log2
|
|
import Init.Data.Nat.Power2
|
|
import Init.Data.Nat.Linear
|
|
import Init.Data.Nat.SOM
|
|
import Init.Data.Nat.Lemmas
|