src/HOL/ROOT

--- a/src/HOL/ROOT	Sun Apr 23 18:54:18 2017 +0200
+++ b/src/HOL/ROOT	Sun Apr 23 19:06:53 2017 +0200
@@ -565,6 +565,7 @@
     Bubblesort
     CTL
     Cartouche_Examples
+    Case_Product
     Chinese
     Classical
     Code_Binary_Nat_examples