src/Benchmarks/ROOT
changeset 66946 3d8fd98c7c86
parent 65573 0f3fdf689bf9
child 69272 15e9ed5b28fb
     1.1 --- a/src/Benchmarks/ROOT	Mon Oct 30 19:36:27 2017 +0100
     1.2 +++ b/src/Benchmarks/ROOT	Mon Oct 30 20:04:10 2017 +0100
     1.3 @@ -4,7 +4,6 @@
     1.4    description {*
     1.5      Big (co)datatypes.
     1.6    *}
     1.7 -  options [document = false]
     1.8    theories
     1.9      Brackin
    1.10      IsaFoR
    1.11 @@ -21,6 +20,5 @@
    1.12    description {*
    1.13      Big records.
    1.14    *}
    1.15 -  options [document = false]
    1.16    theories
    1.17      Record_Benchmark