made N2M tests conditional, since they appear to cause Isatest timeouts and are kind of slow
authorblanchet
Wed Sep 24 17:33:53 2014 +0200 (2014-09-24)
changeset 58433d518f892cec6
parent 58432 121d5e3319ee
child 58434 2fa300429c11
made N2M tests conditional, since they appear to cause Isatest timeouts and are kind of slow
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Wed Sep 24 16:35:42 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Sep 24 17:33:53 2014 +0200
     1.3 @@ -758,12 +758,12 @@
     1.4      Stream_Processor
     1.5      Misc_Codatatype
     1.6      Misc_Datatype
     1.7 -    Misc_N2M
     1.8      Misc_Primcorec
     1.9      Misc_Primrec
    1.10    theories [condition = ISABELLE_FULL_TEST, timing]
    1.11      Brackin
    1.12      IsaFoR
    1.13 +    Misc_N2M
    1.14  
    1.15  session "HOL-Word" (main) in Word = HOL +
    1.16    options [document_graph]