src/HOL/ROOT

--- a/src/HOL/ROOT	Sat Nov 16 13:12:02 2013 +0100
+++ b/src/HOL/ROOT	Sat Nov 16 16:57:09 2013 +0100
@@ -779,13 +779,10 @@
   theories [condition = ISABELLE_FULL_TEST]
     SMT_Tests
   files
-    "Boogie_Dijkstra.b2i"
     "Boogie_Dijkstra.certs"
-    "Boogie_Max.b2i"
     "Boogie_Max.certs"
     "SMT_Examples.certs"
     "SMT_Word_Examples.certs"
-    "VCC_Max.b2i"
     "VCC_Max.certs"
 
 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +