remove Heap, PermutEq, and PermutSetoid from Sorting

Author: andres-erbsen

theories/All/All.v

@@ -176,10 +176,7 @@ From Stdlib Require Export Strings.String.
 From Stdlib Require Export Streams.StreamMemo.
 From Stdlib Require Export Streams.Streams.
 From Stdlib Require Export Sorting.CPermutation.
-From Stdlib Require Export Sorting.Heap.
 From Stdlib Require Export Sorting.Mergesort.
-From Stdlib Require Export Sorting.PermutEq.
-From Stdlib Require Export Sorting.PermutSetoid.
 From Stdlib Require Export Sorting.Permutation.
 From Stdlib Require Export Sorting.SetoidList.
 From Stdlib Require Export Sorting.SetoidPermutation.

theories/Make.sorting

@@ -1,8 +1,5 @@
-Sorting/Heap.v
 Sorting/CPermutation.v
 Sorting/Mergesort.v
-Sorting/PermutSetoid.v
-Sorting/PermutEq.v
 Sorting/Sorting.v
 Sorting/Permutation.v
 Sorting/Sorted.v