src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Feb 13 14:24:50 2018 +0100
+++ b/src/HOL/ROOT	Wed Feb 14 11:51:03 2018 +0100
@@ -34,6 +34,8 @@
     Product_Lexorder
     Product_Order
     Subseq_Order
+    (*conflicting syntax*)
+    Datatype_Records
     (*data refinements and dependent applications*)
     AList_Mapping
     Code_Binary_Nat
@@ -539,6 +541,7 @@
     Computations
     Conditional_Parametricity_Examples
     Cubic_Quartic
+    Datatype_Record_Examples
     Dedekind_Real
     Erdoes_Szekeres
     Eval_Examples