src/Benchmarks/ROOT

--- a/src/Benchmarks/ROOT	Mon Oct 30 19:36:27 2017 +0100
+++ b/src/Benchmarks/ROOT	Mon Oct 30 20:04:10 2017 +0100
@@ -4,7 +4,6 @@
   description {*
     Big (co)datatypes.
   *}
-  options [document = false]
   theories
     Brackin
     IsaFoR
@@ -21,6 +20,5 @@
   description {*
     Big records.
   *}
-  options [document = false]
   theories
     Record_Benchmark