chore: remove BinomialHeap, DList, Stack, Queue

These are moving to std4.
leanprover · Aug 29, 2022 · 0efbc0b · 0efbc0b
1 parent bf89c5a
commit 0efbc0b
Show file tree

Hide file tree

Showing 13 changed files with 19 additions and 464 deletions.
diff --git a/src/Bootstrap/Data.lean b/src/Bootstrap/Data.lean
@@ -3,10 +3,6 @@ Copyright (c) 2020 Microsoft Corporation. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Leonardo de Moura
 -/
-import Bootstrap.Data.BinomialHeap
-import Bootstrap.Data.DList
-import Bootstrap.Data.Stack
-import Bootstrap.Data.Queue
 import Bootstrap.Data.HashMap
 import Bootstrap.Data.HashSet
 import Bootstrap.Data.PersistentArray

diff --git a/src/Bootstrap/Data/BinomialHeap.lean b/src/Bootstrap/Data/BinomialHeap.lean
diff --git a/src/Bootstrap/Data/DList.lean b/src/Bootstrap/Data/DList.lean
diff --git a/src/Bootstrap/Data/Queue.lean b/src/Bootstrap/Data/Queue.lean
diff --git a/src/Bootstrap/Data/Stack.lean b/src/Bootstrap/Data/Stack.lean