src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Sep 16 19:23:37 2014 +0200
+++ b/src/HOL/ROOT	Tue Sep 16 19:23:37 2014 +0200
@@ -755,10 +755,7 @@
     Misc_Primrec
   theories [condition = ISABELLE_FULL_TEST, timing]
     Brackin
-    Instructions
     IsaFoR
-    SML
-    Verilog
 
 session "HOL-Word" (main) in Word = HOL +
   options [document_graph]