src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Dec 18 11:56:12 2017 +0100
+++ b/src/HOL/ROOT	Mon Dec 18 16:58:13 2017 +0100
@@ -537,6 +537,7 @@
     Coherent
     Commands
     Computations
+    Conditional_Parametricity_Examples
     Cubic_Quartic
     Dedekind_Real
     Erdoes_Szekeres