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]