# HG changeset patch
# User blanchet
# Date 1411572833 -7200
# Node ID d518f892cec6946c67c3c6cf8ca9dbfad360bf45
# Parent  121d5e3319eee5a41ca166c037b756e3e5a87b96
made N2M tests conditional, since they appear to cause Isatest timeouts and are kind of slow

diff -r 121d5e3319ee -r d518f892cec6 src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Sep 24 16:35:42 2014 +0200
+++ b/src/HOL/ROOT	Wed Sep 24 17:33:53 2014 +0200
@@ -758,12 +758,12 @@
     Stream_Processor
     Misc_Codatatype
     Misc_Datatype
-    Misc_N2M
     Misc_Primcorec
     Misc_Primrec
   theories [condition = ISABELLE_FULL_TEST, timing]
     Brackin
     IsaFoR
+    Misc_N2M
 
 session "HOL-Word" (main) in Word = HOL +
   options [document_graph]