src/HOL/ROOT
changeset 58849 ef7700ecce83
parent 58842 22b87ab47d3b
child 59006 272d7fb92396
     1.1 --- a/src/HOL/ROOT	Fri Oct 31 17:08:54 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Fri Oct 31 18:56:59 2014 +0100
     1.3 @@ -758,7 +758,7 @@
     1.4      Misc_Datatype
     1.5      Misc_Primcorec
     1.6      Misc_Primrec
     1.7 -  theories [condition = ISABELLE_FULL_TEST, timing]
     1.8 +  theories [condition = ISABELLE_FULL_TEST]
     1.9      Brackin
    1.10      IsaFoR
    1.11      Misc_N2M
    1.12 @@ -1098,6 +1098,6 @@
    1.13      Some benchmark on large record.
    1.14    *}
    1.15    options [document = false]
    1.16 -  theories [condition = ISABELLE_FULL_TEST, timing]
    1.17 +  theories [condition = ISABELLE_FULL_TEST]
    1.18      Record_Benchmark
    1.19