src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Fri Oct 26 14:12:08 2018 +0200
+++ b/src/HOL/Library/Library.thy	Fri Oct 26 08:20:45 2018 +0000
@@ -13,7 +13,6 @@
   Code_Lazy
   Code_Test
   Combine_PER
-  Comparator
   Complete_Partial_Order2
   Conditional_Parametricity
   Countable
@@ -82,6 +81,7 @@
   State_Monad
   Stirling
   Stream
+  Sorting_Algorithms
   Sublist
   Sum_of_Squares
   Transitive_Closure_Table