src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Sep 11 19:18:23 2014 +0200
+++ b/src/HOL/ROOT	Thu Sep 11 19:20:23 2014 +0200
@@ -749,7 +749,11 @@
     Misc_Primcorec
     Misc_Primrec
   theories [condition = ISABELLE_FULL_TEST]
+    Brackin
+    Instructions
     IsaFoR_Datatypes
+    SML
+    Verilog
 
 session "HOL-Word" (main) in Word = HOL +
   options [document_graph]