src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Feb 14 11:51:03 2018 +0100
+++ b/src/HOL/ROOT	Wed Feb 14 16:32:09 2018 +0100
@@ -576,6 +576,7 @@
     Primrec
     Pythagoras
     Quicksort
+    Radix_Sort
     Records
     Reflection_Examples
     Refute_Examples